Add dynamic theme based on current server, database or user used for …

…the connection Based on Julien Rouhaud patch.
kzar79 · Nov 11, 2013 · 67c331f · 67c331f
1 parent dfcf70e
commit 67c331f
Show file tree

Hide file tree

Showing 7 changed files with 89 additions and 19 deletions.
diff --git a/browser.php b/browser.php
@@ -25,7 +25,11 @@
 	echo "<div dir=\"ltr\">\n";
 ?>
 
-	<div class="logo"><a href="intro.php" target="detail"><img src="<?php echo $misc->icon('title') ?>" width="200" height="50" alt="<?php echo htmlspecialchars($appName) ?>" title="<?php echo htmlspecialchars($appName) ?>" /></a></div>
+	<div class="logo">
+		<a href="intro.php" target="detail">
+			<?php echo htmlspecialchars($appName) ?> 
+		</a>
+	</div>
 	<div class="refreshTree"><a href="browser.php" target="browser" ><img src="<?php echo $misc->icon('Refresh'); ?>" alt="<?php echo $lang['strrefresh']; ?>" title="<?php echo $lang['strrefresh']; ?>" /></a></div>
 <script type="text/javascript">
 

diff --git a/classes/Misc.php b/classes/Misc.php
@@ -540,10 +540,14 @@ function printHeader($title = '', $script = null, $frameset = false) {
 				echo "<head>\n";
 				echo "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n";
 				// Theme
-				echo "<link rel=\"stylesheet\" href=\"themes/{$conf['theme']}/global.css\" type=\"text/css\" />\n";
+				echo "<link rel=\"stylesheet\" href=\"themes/{$conf['theme']}/global.css\" type=\"text/css\" id=\"csstheme\" />\n";
 				echo "<link rel=\"shortcut icon\" href=\"images/themes/{$conf['theme']}/Favicon.ico\" type=\"image/vnd.microsoft.icon\" />\n";
 				echo "<link rel=\"icon\" type=\"image/png\" href=\"images/themes/{$conf['theme']}/Introduction.png\" />\n";
 				echo "<script type=\"text/javascript\" src=\"libraries/js/jquery.js\"></script>";
+				echo "<script type=\"text/javascript\">// <!-- \n";
+				echo "$(document).ready(function() { \n";
+				echo "    $('#csstheme', window.parent.frames[0].document).attr('href','themes/{$conf['theme']}/global.css');\n";
+				echo "}); // --></script>\n";
 				echo "<title>", htmlspecialchars($appName);
 				if ($title != '') echo htmlspecialchars(" - {$title}");
 				echo "</title>\n";

diff --git a/conf/config.inc.php-dist b/conf/config.inc.php-dist
@@ -71,6 +71,18 @@
 
 	/* Warning: Only groups with no parents appears at the root of the tree. */
 
+	/* You can apply specific theme depending on servers, users and databases
+	 * The priority order is :
+	 *   * the theme defined for a server
+	 *   * the theme defined for a database apply over the server one
+	 *   * the theme defined for a user apply over the database one
+	 */
+	/* Example for servers */
+	//$conf['servers'][0]['theme']['default'] = 'default';
+	/* Example for users */
+	//$conf['servers'][0]['theme']['user']['specific_user'] = 'default';
+	/* Example for databases */
+	//$conf['servers'][0]['theme']['db']['specific_db'] = 'default';
 
 	// Default language. E.g.: 'english', 'polish', etc.  See lang/ directory
 	// for all possibilities. If you specify 'auto' (the default) it will use

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
@@ -115,6 +115,35 @@
 		$conf['theme']  = $_COOKIE['ppaTheme'];
 	}
 
+	// 4. Check for theme by server/db/user
+	$info = $misc->getServerInfo();
+
+	if (!is_null($info)) {
+		$_theme = '';
+
+		if ( (isset($info['theme']['default']))
+			and is_file("./themes/{$info['theme']['default']}/global.css")
+		)
+			$_theme = $info['theme']['default'];
+
+		if ( isset($_REQUEST['database'])
+			and isset($info['theme']['db'][$_REQUEST['database']])
+			and is_file("./themes/{$info['theme']['db'][$_REQUEST['database']]}/global.css")
+		)
+			$_theme = $info['theme']['db'][$_REQUEST['database']];
+
+		if ( isset($info['username'])
+			and isset($info['theme']['user'][$info['username']])
+			and is_file("./themes/{$info['theme']['user'][$info['username']]}/global.css")
+		)
+			$_theme = $info['theme']['user'][$info['username']];
+
+		if ($_theme !== '') {
+			setcookie('ppaTheme', $_theme, time()+31536000);
+			$conf['theme'] = $_theme;
+		}
+	}
+
 	// Determine language file to import:
 	unset($_language);
 

diff --git a/themes/cappuccino/global.css b/themes/cappuccino/global.css
@@ -19,12 +19,6 @@ body.browser {
 }
 body.browser > * { margin: 0 }
 body.browser div.webfx-tree-row:hover { background: #524a42}
-div.logo {
-	margin:	0px;
-	padding: 0px;
-	border: none;
-	margin-bottom: 15px;
-}
 h1 {font-size: 1.5em}
 h2 {
 	color: #fff;
@@ -187,3 +181,17 @@ div.fk {
 	border-left: 1px dotted #000;
 	padding: 5px;
 }
+div.logo {
+	margin:	0px;
+	padding: 0px;
+	border: none;
+	margin-bottom: 15px;
+	background-image: url('../../images/themes/cappuccino/title.png');
+	background-repeat: no-repeat;
+	height: 50px;
+}
+div.logo a {
+	display: block;
+	height: 100%;
+	color: transparent;
+}
diff --git a/themes/default/global.css b/themes/default/global.css
@@ -11,16 +11,6 @@ body {
 	padding: 0px;
 	font-size: smaller; /*0.8em;*/
 }
-div.logo {
-	background-color: #CECF9C;
-	margin:	0px;
-	padding: 0px;
-	font-family: arial, tahoma, verdana, helvetica, sans-serif, serif;
-	font-size: smaller; /* 1em; */
-	border: none;
-	border-bottom: 2px solid #000000;
-	margin-bottom: 2px;
-}
 body.browser {
 	background-color: #efefef;
 	font-family: arial, tahoma, verdana, helvetica, sans-serif, serif;
@@ -256,3 +246,21 @@ div.fk {
 	border-left: 1px solid #000;
 	padding: 5px;
 }
+div.logo {
+	background-color: #CECF9C;
+	margin:	0px;
+	padding: 0px;
+	font-family: arial, tahoma, verdana, helvetica, sans-serif, serif;
+	font-size: smaller; /* 1em; */
+	border: none;
+	border-bottom: 2px solid #000000;
+	margin-bottom: 2px;
+	background-image: url('../../images/themes/default/title.png');
+	background-repeat: none;
+	height: 50px;
+}
+div.logo a {
+	display: block;
+	height: 100%;
+	color: transparent;
+}
diff --git a/themes/gotar/global.css b/themes/gotar/global.css
@@ -19,7 +19,6 @@ p {
 table {
 	border:1px gray solid;
 }
-div.logo { display:none }
 body.browser {
 	background-color: #447;
 	color:#4bf;
@@ -251,3 +250,9 @@ div.fk {
 	border-left: 1px solid #000;
 	padding: 5px 0 5px 0;
 }
+div.logo { display:none }
+div.logo a {
+	display: block;
+	height: 100%;
+	color: transparent:
+}