[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 2f3f1b: Dynamically set tree_content's height too, bug#406...