From 716274c3561ddc35db2fdf523f8e0e943c4d3740 Mon Sep 17 00:00:00 2001 From: j <0x006A@0x2620.org> Date: Tue, 7 Jan 2014 07:46:10 +0000 Subject: [PATCH] fix menu --- static/js/mainMenu.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/static/js/mainMenu.js b/static/js/mainMenu.js index 5a522fae..4d4df5e0 100644 --- a/static/js/mainMenu.js +++ b/static/js/mainMenu.js @@ -611,7 +611,7 @@ pandora.ui.mainMenu = function() { }, key_shift_d: function() { hasDocument() && pandora.UI.set({showDocument: !ui.showDocument}); - } + }, key_shift_f: function() { !ui.item && pandora.UI.set({showFilters: !ui.showFilters}); }, @@ -754,7 +754,7 @@ pandora.ui.mainMenu = function() { }, pandora_showdocument: function(data) { that.setItemTitle('showdocument', Ox._((data.value ? 'Hide' : 'Show') + ' Document')); - } + }, pandora_showfilters: function(data) { that.setItemTitle('showfilters', Ox._((data.value ? 'Hide' : 'Show') + ' Filters')); },