- Apr 26, 2017
-
-
Adrian Heine authored
-
Adrian Heine authored
-
Adrian Heine authored
-
Adrian Heine authored
-
Adrian Heine authored
-
- Apr 25, 2017
-
-
Adrian Heine authored
-
- Apr 20, 2017
-
-
Marijn Haverbeke authored
-
Marijn Haverbeke authored
To work with Chrome's overlay scrollbars Issue #4676
-
- Apr 18, 2017
-
-
Marijn Haverbeke authored
Issue #4694
-
- Apr 17, 2017
-
-
Marijn Haverbeke authored
Issue #4694
-
Marijn Haverbeke authored
-
- Apr 10, 2017
-
-
Marijn Haverbeke authored
(When the mouse didn't move.) Closes #4677
-
- Apr 06, 2017
-
-
Marijn Haverbeke authored
-
- Mar 31, 2017
-
-
Marijn Haverbeke authored
Closes #4657
-
- Mar 30, 2017
-
-
Marijn Haverbeke authored
Issue #4625
-
- Mar 20, 2017
-
-
Marijn Haverbeke authored
-
Emmanuel Schanzer authored
-
- Mar 10, 2017
-
-
Marijn Haverbeke authored
(when there is a gutter) Issue #4637
-
- Mar 09, 2017
-
-
Marijn Haverbeke authored
Which often caused strangeness around empty lines Issue #4307
-
Marijn Haverbeke authored
Issue #4491
-
Marijn Haverbeke authored
So that we don't leave a stray selection that'll be reset to some nonsense position by the DOM changes. Closes #4625
-
- Mar 08, 2017
-
-
Marijn Haverbeke authored
-
Marijn Haverbeke authored
-
Marijn Haverbeke authored
Issue #4194 Issue #4500
-
Marijn Haverbeke authored
Issue #4194 Issue #4500
-
Marijn Haverbeke authored
Issue #4194 Closes #4500
-
- Mar 05, 2017
-
-
Adrian Heine authored
This is based on work by Radek Piórkowski <radek25c@gmail.com>.
-
- Feb 23, 2017
-
-
Marijn Haverbeke authored
Closes #4587
-
Erik Welander authored
-
- Feb 22, 2017
-
-
Marijn Haverbeke authored
-
Marijn Haverbeke authored
Issue #4575
-
- Feb 21, 2017
-
-
Marijn Haverbeke authored
Issue #4575
-
- Feb 20, 2017
-
-
Marijn Haverbeke authored
-
Marijn Haverbeke authored
Closes #4589
-
Marijn Haverbeke authored
Closes #4569
-
- Feb 17, 2017
-
-
Bryan Massoth authored
-