- 23 8月, 2017 6 次提交
-
-
由 Sandeep Somavarapu 提交于
Make tree view data providers disposable On main tree views disposed - Deregister and dispose data providers
-
由 Alex Dima 提交于
-
由 Alexandru Dima 提交于
Implement smooth scrolling feature
-
由 Alex Dima 提交于
* adopt the classifier;
-
由 Benjamin Pasero 提交于
-
由 Benjamin Pasero 提交于
-
- 22 8月, 2017 24 次提交
-
-
由 Johannes Rieken 提交于
-
由 Alex Dima 提交于
-
由 Johannes Rieken 提交于
-
由 Nicola Fiori (JD342) 提交于
-
由 Benjamin Pasero 提交于
-
由 Johannes Rieken 提交于
-
由 Benjamin Pasero 提交于
-
由 Nicola Fiori (JD342) 提交于
-
由 Alex Dima 提交于
Fix horizontal revealing of a range (in the smooth scrolling case where the line containing the range might come in the viewport at a later time)
-
由 Alex Dima 提交于
-
由 Johannes Rieken 提交于
-
由 Alex Dima 提交于
-
由 Alex Dima 提交于
* use `dom.scheduleAtNextAnimationFrame`
-
由 Johannes Rieken 提交于
-
由 Christopher Leidigh 提交于
* Replace focussed with focused * Replace Focussed with Focused
-
由 Alex Dima 提交于
-
由 Alex Dima 提交于
-
由 Benjamin Pasero 提交于
-
由 Johannes Rieken 提交于
-
由 Joao Moreno 提交于
-
由 Benjamin Pasero 提交于
-
由 rebornix 提交于
-
由 Daniel Imms 提交于
Fixes #32802 Fixes #31090
-
由 Alex Dima 提交于
* have explicit methods for changing the scroll position (delayed/smooth vs now/direct) that bubble up to the editor internals. * have all other clients of ScrollableElement not use smooth scrolling
-
- 21 8月, 2017 10 次提交
-
-
由 Johannes Rieken 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
-
由 Martin Aeschlimann 提交于
Makefile colorizing improvement: colorize at the beginning of line, handling the '\' symbol and other.
-
由 Johannes Rieken 提交于
-
由 Johannes Rieken 提交于
-
由 Johannes Rieken 提交于
-
由 Johannes Rieken 提交于
-
由 Joao Moreno 提交于
-
由 Joao Moreno 提交于
-