Files
vscode/build
Aiday Marlen Kyzy a31f703941 Making sticky scroll scrollable (#189466)
* work in progress make it scrollabel

* adding changes

* adding changes

* cleaning the code

* cleaning the code

* not usnig a vertical scrollbar

* scanning the dom node only on mouse over

* requires tweaking

* now the scrollbar can be used alongside the hovering on the sticky scroll

* setting handle mouse wheel to false in order not to scroll vertically inside of the scrollable element with wheel

* separated the line numbers and the actual line in order to be able to just move one of the scrollbars, the editor one and the line numbers remain the same

* cleanin the code

* we are able to make the full line appear

* the width is correctly updated on the width layout change of the editor

* only rendering when top scroll changed, not when horizontal scroll changed

* using the correct editor layout info, not the one saved in the constructor

* setting the linehtml node style width to 100% so that the whole line is covered, but still not covered after the end of the viewport

* changing the total width after rendering

* placing the color into sticky line number

* removing the direct setting of the colors

* adding the background color inside of sticky line number

* using the view zone in order to increase the scroll width of the editor

* placing the view zone at the very bottom of the file

* limiting the scrollable dom height to the height of the sticky widget lines node inside, so now the sticky widget works as before

* cleaning the code

* cleaning the code

* removing useless variable

* adding 100 pixels in order to see the end of the line

* removing the console logs

* putting back the check to what it was

* using the same string convention

* adding inheritance properties in order for the background color to be propagated

* cleaning the code

* cleaning the code

* using or instead of and in the zone accessos

* cleaning the code

* cleaning the code

* cleaning the CSS

* chaning the order of the CSS properties

* cleaning the code

* Improve rendering

* No need to resize the widget from the outside, the widget resizes itself

* placing the focus method inside of the sticky widget

* céeanig the code

* Minor tweaks

* Also update widget width when the scroll width changes

* Allow overlay widgets to pass in a minimum content width

* Also update the min content width if the position doesn't change

* defining method for mi content width in px

* updating the minimum content width

* adding setting in order to be able to control whether sticky scroll scrolling should be influenced by editor horizontal scrolling

* removing redundant new line

* Fix typo

* Extract code in a function

---------

Co-authored-by: Alexandru Dima <alexdima@microsoft.com>
2023-08-07 17:35:57 +01:00
..
2023-04-02 09:35:39 +02:00
2023-07-21 17:08:05 +02:00