phpmyadmin/phpmyadmin — pull request #139 by mynetx (2013-01-22 20:00:08+00:00)
Title: Use native scrollbar for navigation area

![native-scrollbar](https://f.cloud.github.com/assets/157944/87728/4ae90ca8-64ce-11e2-8876-eb4acef36fbb.jpg)