somewhat friendlier purge/update names in feed editor

[tt-rss.git] / prefs.php

diff --git a/prefs.php b/prefs.php
index 8532b94eb44a0161a285ccfcbcaf8a364abd432b..e5c941f423303eddf626b8f240f2861820d54e5a 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -49,6 +49,7 @@
 
        <!--[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">
 
@@ -56,6 +57,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>
 
@@ -106,10 +110,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"