7 Commits

Author	SHA1	Message	Date
David Rosca	c785e09bdf	WebScrollBarManager: Improve viewportSize() with knowledge from javascript	2017-01-26 17:59:45 +01:00
David Rosca	7096d3eb88	WebScrollBarManager: Correctly update visibility with javascript ... Closes #2182	2017-01-26 17:27:02 +01:00
David Rosca	95603f652d	Fix some warnings in js scripts	2016-12-27 16:51:19 +01:00
David Rosca	0a0eb2a038	WebScrollBar: HighDPI fixes	2016-12-27 13:41:30 +01:00
David Rosca	f651b42e23	WebScrollBar: Fix scrollbar values when page is zoomed	2016-12-27 13:12:10 +01:00
David Rosca	9beee941f6	Adjust position of status bar message widget according to scrollbars	2016-12-26 20:17:53 +01:00
David Rosca	64b48f6899	Use native scrollbars for main scrollbars ... Use native widgets to render main scrollbars (scrollbars of the main webview widget, not iframes etc). It makes the scrollbars on body element invisible and instead draws native widgets on the space for scrollbars. Comes with possibility to disable it, enabled by default.	2016-12-26 12:39:36 +01:00