Commits

History for

Commits on Mar 20, 2018

Commits on Mar 14, 2018

Fix for mouse events that get sent to the wrong document when the script is being run in a different frame than the editor.

Me1000
authored and
marijnh
committed

Commits on Mar 12, 2018

move field creation in TextareaInput to an overridable method

evs-chris
authored and
marijnh
committed

Commits on Feb 20, 2018

Commits on Jan 31, 2018

Make sure signalLater isn't called in addLineWidget when there's no editor
marijnh
committed

Commits on Jan 30, 2018

Commits on Jan 29, 2018

Commits on Jan 18, 2018

Fix typo in input.js

liqiang372
authored and
marijnh
committed

Commits on Dec 24, 2017

Recognize ScrollLock and Pause with Ctrl modifier

tophf
authored and
marijnh
committed

Commits on Dec 21, 2017

Commits on Dec 14, 2017

[closetag addon] Add an option to disable auto indenting

sobisht
authored and
marijnh
committed

Commits on Nov 22, 2017

Commits on Nov 8, 2017

Fully qualify import paths

klebba
authored and
marijnh
committed

Commits on Nov 1, 2017

Re-dispatch non-matching multi-key-strokes without their prefix
marijnh
committed

Commits on Oct 29, 2017

Commits on Oct 20, 2017

Commits on Oct 18, 2017

Commits on Oct 2, 2017

Commits on Sep 20, 2017

Commits on Sep 19, 2017

Further refine mouse-selection bidi adjustment
marijnh
committed