diff options
author | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-19 16:19:37 +0300 |
---|---|---|
committer | Nisarg Jhaveri <nisargjhaveri@gmail.com> | 2015-05-19 16:19:37 +0300 |
commit | 05fd631ed88f923a00125393a405a40d3cfbda31 (patch) | |
tree | dac546a0549d1445776749c543453ef742dd9ef5 /js/ajax.js | |
parent | 37bba9e04b21c6d1bbfd6a64150538fa1a538a69 (diff) |
Some fixes in page-related settings
- Update 'original' theme
- Fix lock icon location when settings icon is not available
Signed-off-by: Nisarg Jhaveri <nisargjhaveri@gmail.com>
Diffstat (limited to 'js/ajax.js')
-rw-r--r-- | js/ajax.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/js/ajax.js b/js/ajax.js index a5027d2a36..868ba26c21 100644 --- a/js/ajax.js +++ b/js/ajax.js @@ -339,9 +339,7 @@ var AJAX = { $('body').children() .not('#pma_navigation') .not('#floating_menubar') - .not('#goto_pagetop') - .not('#lock_page_icon') - .not('#page_settings_icon') + .not('#page_nav_icons') .not('#page_content') .not('#selflink') .not('#session_debug') |