- Jan 17, 2018
-
-
neon-dev authored
-
- Oct 16, 2014
-
-
Marijn Haverbeke authored
-
- Sep 23, 2014
-
-
Marijn Haverbeke authored
-
- Jun 13, 2014
-
-
Marijn Haverbeke authored
-
- Aug 13, 2013
-
-
Marijn Haverbeke authored
-
- Sep 26, 2012
-
-
Marijn Haverbeke authored
-
- Sep 14, 2012
-
-
Marijn Haverbeke authored
Since these no longer follow directly from scroller.clientHeight/Width. Use these to ensure messages for current line are scrolled into view in demo/widget.html. Closes #802
-
- Sep 05, 2012
-
-
Marijn Haverbeke authored
Instead of a single 'inline' option, add noHScroll and coverGutter options.
-
- Sep 04, 2012
-
-
Marijn Haverbeke authored
This seems to be a better fix for the scroll artifacts. Closes #795
-
Marijn Haverbeke authored
There's apparently a timing issue with adding widgets to a just-initialized editor.
-
- Sep 03, 2012
-
-
Marijn Haverbeke authored
-
Marijn Haverbeke authored
The off pun is rather awful, but it does have precedent, and is more succinct.
-
Marijn Haverbeke authored
-