Activate/deactivate auto hide feature for fullscreen mode correctly

This commit is contained in:
YUKI Hiroshi 2015-12-25 16:21:28 +09:00
parent 44825b4e24
commit b214268d69

View File

@ -318,6 +318,9 @@ var TreeStyleTabWindowHelper = {
FullScreen.__treestyletab__toggle = FullScreen.toggle; FullScreen.__treestyletab__toggle = FullScreen.toggle;
FullScreen.toggle = function(...aArgs) { FullScreen.toggle = function(...aArgs) {
var enterFS = window.fullScreen; var enterFS = window.fullScreen;
var event = aArgs[0];
if (event && event.type == 'fullscreen')
enterFS = !enterFS;
gBrowser.treeStyleTab.onBeforeFullScreenToggle(enterFS); gBrowser.treeStyleTab.onBeforeFullScreenToggle(enterFS);
return FullScreen.__treestyletab__toggle.apply(this, aArgs); return FullScreen.__treestyletab__toggle.apply(this, aArgs);
}; };