debug window look tweaks

[tt-rss.git] / prefs.php
diff --git a/prefs.php b/prefs.php

index 639f5d86ea65085013355f66304bbedbce65968b..68bc6eb9202e6be27d11a4521e64883744e6a240 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -13,6 +13,9 @@
         $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); 
  
         login_sequence($link);
+
+       $dt_add = get_script_dt_add();
+
  ?>
  <html>
  <head>
@@ -24,6 +27,8 @@
                 <link rel="stylesheet" type="text/css" href="themes/<?= $user_theme ?>/theme.css">
         <? } ?>
  
+       <? if ($user_theme) { $theme_image_path = "themes/$user_theme/"; } ?>
+       
         <? $user_css_url = get_pref($link, 'USER_STYLESHEET_URL'); ?>
         <? if ($user_css_url) { ?>
                 <link type="text/css" href="<?= $user_css_url ?>"/> 
@@ -40,12 +45,16 @@
  
         <? } ?>
  
-       
-       <script type="text/javascript" src="functions.js"></script>
-       <script type="text/javascript" src="prefs.js"></script>
+       <script type="text/javascript" src="prototype.js"></script>
+
+       <script type="text/javascript" src="functions.js?<?= $dt_add ?>"></script>
+       <script type="text/javascript" src="prefs.js?<?= $dt_add ?>"></script>
+
+       <div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
  
         <!--[if gte IE 5.5000]>
                 <script type="text/javascript" src="pngfix.js"></script>
+               <link rel="stylesheet" type="text/css" href="tt-rss-ie.css">
         <![endif]-->
         <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  
@@ -53,6 +62,9 @@
                 if (navigator.userAgent.match("Opera")) {
                         document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
                 }
+               if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
+                       document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
+               }
         </script>
  </head>
  
@@ -67,13 +79,20 @@ if (document.addEventListener) {
  window.onload = init;
  </script>
  
+<ul id="debug_output"></ul>
+
+<div id="fatal_error"><div id="fatal_error_inner">
+       <h1>Fatal Error</h1>
+       <div id="fatal_error_msg">Unknown Error</div>
+</div></div>
+
  <table width="100%" height="100%" cellspacing="0" cellpadding="0" class="main">
  <? if (get_pref($link, 'DISPLAY_HEADER')) { ?>
  <tr>
         <td colspan="2">
                 <table cellspacing="0" cellpadding="0" width="100%"><tr>
                         <td rowspan="2" class="header" valign="middle"> 
-                               <img src="images/ttrss_logo.png" alt="logo">    
+                               <img src="<?= $theme_image_path ?>images/ttrss_logo.png" alt="logo">    
                         </td>
                         <td valign="top" class="notifyBox">
                                 <div id="notify"><span id="notify_body">&nbsp;</span></div>
@@ -103,10 +122,10 @@ window.onload = init;
         <td class="prefsTabs" align="left" valign="bottom">
                 <input id="genConfigTab" class="prefsTab" type="submit" value="Preferences"
                         onclick="selectTab('genConfig')">
-               <input id="feedConfigTab" class="prefsTab" type="submit" value="Feed Configuration"
+               <input id="feedConfigTab" class="prefsTab" type="submit" value="My Feeds"
                         onclick="selectTab('feedConfig')">
-               <? if (ENABLE_FEED_BROWSER) { ?>
-               <input id="feedBrowserTab" class="prefsTab" type="submit" value="Feed Browser"
+               <? if (ENABLE_FEED_BROWSER && !SINGLE_USER_MODE) { ?>
+               <input id="feedBrowserTab" class="prefsTab" type="submit" value="Other Feeds"
                         onclick="selectTab('feedBrowser')">
                 <? } ?>
                 <input id="filterConfigTab" class="prefsTab" type="submit" value="Content Filtering"