diff options
author | Ankush Patil <aspraz2658@gmail.com> | 2019-10-06 17:23:40 +0300 |
---|---|---|
committer | Ankush Patil <aspraz2658@gmail.com> | 2019-11-11 18:21:22 +0300 |
commit | 64d0cd8ec37b1eb9f6371aaa3e6e83b933fd4343 (patch) | |
tree | b3945432a83467007d7e42469571851ec1a65569 /js | |
parent | 431c954be2a70a9e0c36c5c16f0838bedae281d6 (diff) |
Fixes #15127: adding padding, fixed positioning to floating_menubar
Signed-off-by: Ankush Patil <aspraz2658@gmail.com>
removed unrequired appends
Signed-off-by: Ankush Patil <aspraz2658@gmail.com>
Diffstat (limited to 'js')
-rw-r--r-- | js/navigation.js | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/js/navigation.js b/js/navigation.js index 6f0d05b89f..4e43d8d726 100644 --- a/js/navigation.js +++ b/js/navigation.js @@ -1128,8 +1128,24 @@ var ResizeHandler = function () { var windowWidth = $(window).width(); $('#pma_navigation').width(pos); $('body').css('margin-' + this.left, pos + 'px'); - // Issue #15127 - $('#floating_menubar, #pma_console') + // Issue #15127 : Adding fixed positioning to menubar + $('#floating_menubar') + .css('margin-' + this.left, $('#pma_navigation').width() + $('#pma_navigation_resizer').width()) + .css(this.left, 0) + .css({ + 'position': 'fixed', + 'top': 0, + 'width': '100%', + 'z-index': 99 + }) + // Allow the DOM to render, then adjust the padding on the body + setTimeout(function () { + $('body').css( + 'padding-top', + $('#floating_menubar').outerHeight(true) + ); + }, 2); + $('#pma_console') .css('margin-' + this.left, (pos + resizer_width) + 'px'); $resizer.css(this.left, pos + 'px'); if (pos === 0) { |