David Rosca
a8dcf176cf
Fix merge issues
2018-01-11 20:51:34 +01:00
David Rosca
0e41fd0785
AbstractButtonInterface: Add support for hiding tool button
2018-01-11 19:48:06 +01:00
David Rosca
238a06874d
AbstractButtonInterface: Allow delayed hide of popup
2018-01-11 19:48:01 +01:00
David Rosca
6806fa5405
AbstractButtonInterface: Use WebView property instead of WebPage
...
WebView of a tab will not change while WebPage may.
This also fixes crash when WebPage of WebView is changed. It can happen
eg. when opening new tab from page with target=_blank.
Closes #2537
2018-01-11 19:42:38 +01:00
David Rosca
ba2ea9cb09
AbstractButtonInterface: Rename badgeLabelText -> badgeText
2018-01-11 19:36:54 +01:00
David Rosca
6824ea17f2
NavigationBar: Add support for adding additional tool buttons
2018-01-11 19:28:32 +01:00