From 7337e45f111e47f15ec3520a54ad0749a549755f Mon Sep 17 00:00:00 2001
From: "J.M" <me@mynetx.net>
Date: Thu, 9 May 2013 13:57:19 +0200
Subject: [PATCH] Fix bug #3916 [interface] Missing scrollbar (original theme)

---
 ChangeLog                              | 1 +
 themes/original/css/navigation.css.php | 1 +
 2 files changed, 2 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index ffbc85f500..361b170e9a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -18,6 +18,7 @@ phpMyAdmin - ChangeLog
 - bug #3909 [import] Import of CSV FIle to selected table doesn't work
 - bug #3904 Browsing an empty table should not display its Structure
 - bug #3908 Calendar widget improperly redirects to home 
+- bug #3916 [interface] Missing scrollbar (original theme)
 
 4.0.0.0 (2013-05-03)
 + Patch #3481047 for rfe #3480477 Insert as new row enhancement
diff --git a/themes/original/css/navigation.css.php b/themes/original/css/navigation.css.php
index 902e60e488..82ab8f7df9 100644
--- a/themes/original/css/navigation.css.php
+++ b/themes/original/css/navigation.css.php
@@ -21,6 +21,7 @@ if (! defined('PMA_MINIMUM_COMMON') && ! defined('TESTSUITE')) {
     color: <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
     width: <?php echo $GLOBALS['cfg']['NaviWidth']; ?>px;
     overflow: hidden;
+    overflow-y: auto;
     position: fixed;
     top: 0;
     <?php echo $left; ?>: 0;