| commit | 2c7e706d656f10ac45e47d1fd63dde20b2bb1772 | |
| author | malc <moosotc@gmail.com> | |
| Thu, 25 Aug 2016 21:55:04 +0000 (26 00:55 +0300) | ||
| committer | malc <moosotc@gmail.com> | |
| Thu, 25 Aug 2016 21:55:04 +0000 (26 00:55 +0300) | ||
| tree | 21849d4adc55cabf85a83840261aa9b753a8e10e | treesnapshot (tar.gz zip) |
| parent | 9a91390f0e49525dabd0c48083839b1024545a13 | commitdiff |
Begin scrollbar overhaul
This is "wrong", but the old approach was very ad hoc and caused major
pains.
Random points:
a. Behavior with this patch lends itself to an en vogue way of fading
out bars
b. Scrollbars are hard - https://bugzilla.mozilla.org/show_bug.cgi?id=1248118
c. Perhaps view and bar areas should be covered by different view
ports. This would be the "right" thing to do, but will probably
require substantial changes all over the place
This is "wrong", but the old approach was very ad hoc and caused major
pains.
Random points:
a. Behavior with this patch lends itself to an en vogue way of fading
out bars
b. Scrollbars are hard - https://bugzilla.mozilla.org/show_bug.cgi?id=1248118
c. Perhaps view and bar areas should be covered by different view
ports. This would be the "right" thing to do, but will probably
require substantial changes all over the place
| main.ml | diffblobblamehistory |