[Phpmyadmin-devel] About the "Sticky menu bar"

Hi there, I was about to merge the patch that sticks the breadcrumbs and the menu links to the top of the page [1]. But I'm thinking that it might be a good idea to make this option configurable as some users may not like it. What do you think? Rouslan [1]: https://sourceforge.net/tracker/?func=detail&aid=3406797&group_id=23067&atid...