Timur Khazamov 7201198f23
Better scrollbars (#177)
* Better scrollbars

* Get rid of all unused options
2020-01-06 02:26:01 +05:00
..
2020-01-06 02:26:01 +05:00
2020-01-02 11:03:48 -08:00
2020-01-06 02:26:01 +05:00
2020-01-05 13:05:55 -08:00
2020-01-03 21:38:48 -08:00
2020-01-03 21:38:48 -08:00