]> git.wh0rd.org - tt-rss.git/blob - prefs.php
prefs: add loading progressbar
[tt-rss.git] / prefs.php
1 <?php
2 error_reporting(E_ERROR | E_WARNING | E_PARSE);
3
4 require_once "functions.php";
5 require_once "sessions.php";
6 require_once "sanity_check.php";
7 require_once "version.php";
8 require_once "config.php";
9 require_once "db-prefs.php";
10
11 $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
12
13 login_sequence($link);
14
15 $dt_add = get_script_dt_add();
16
17 no_cache_incantation();
18
19 ?>
20 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
21 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
22 <html>
23 <head>
24 <title>Tiny Tiny RSS : Preferences</title>
25 <link rel="stylesheet" href="tt-rss.css" type="text/css">
26
27 <?php $user_theme = $_SESSION["theme"];
28 if ($user_theme) { ?>
29 <link rel="stylesheet" type="text/css" href="themes/<?php echo $user_theme ?>/theme.css">
30 <?php } ?>
31
32 <?php if ($user_theme) { $theme_image_path = "themes/$user_theme/"; } ?>
33
34 <?php $user_css_url = get_pref($link, 'USER_STYLESHEET_URL'); ?>
35 <?php if ($user_css_url) { ?>
36 <link type="text/css" href="<?php echo $user_css_url ?>"/>
37 <?php } ?>
38
39 <link rel="shortcut icon" type="image/png" href="images/favicon.png">
40
41 <script type="text/javascript" src="prototype.js"></script>
42 <script type="text/javascript" src="scriptaculous/scriptaculous.js?load=effects,dragdrop,controls"></script>
43
44 <script type="text/javascript" src="localized_js.php?<?php echo $dt_add ?>"></script>
45
46 <script type="text/javascript" src="functions.js?<?php echo $dt_add ?>"></script>
47 <script type="text/javascript" src="prefs.js?<?php echo $dt_add ?>"></script>
48
49 <!--[if lt IE 7]>
50 <script type="text/javascript" src="pngfix.js"></script>
51 <link rel="stylesheet" type="text/css" href="ie6.css">
52 <![endif]-->
53
54 <!--[if IE 7]>
55 <link rel="stylesheet" type="text/css" href="ie7.css">
56 <![endif]-->
57
58 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
59
60 <script type="text/javascript">
61 if (navigator.userAgent.match("Opera")) {
62 document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
63 }
64 if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
65 document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
66 }
67 </script>
68 </head>
69
70 <body>
71
72 <div id="overlay">
73 <div id="overlay_inner">
74 <?php echo __("Loading, please wait...") ?>
75
76 <div id="l_progress_o">
77 <div id="l_progress_i"></div>
78 </div>
79
80 <noscript>
81 <div class="error"><?php echo
82 __("Your browser doesn't support Javascript, which is required
83 for this application to function properly. Please check your
84 browser settings.") ?></div>
85 </noscript>
86 </div>
87 </div>
88
89
90 <div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)">
91 <?php rounded_table_start("hho"); ?>
92 <?php include "help/4.php" ?>
93 <?php rounded_table_end(); ?>
94 </div>
95
96 <img id="piggie" src="images/piggie.png" style="display : none" alt="piggie">
97
98 <script type="text/javascript">
99 if (document.addEventListener) {
100 document.addEventListener("DOMContentLoaded", init, null);
101 }
102 window.onload = init;
103 </script>
104
105 <ul id="debug_output" style='display : none'></ul>
106
107 <div id="fatal_error"><div id="fatal_error_inner">
108 <h1>Fatal Error</h1>
109 <div id="fatal_error_msg"><?php echo __('Unknown Error') ?></div>
110 </div></div>
111
112 <div id="prefHeader">
113 <div class="topLinks">
114 <?php if (!SINGLE_USER_MODE) { ?>
115 <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
116 <?php } ?>
117 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
118 <?php if (!SINGLE_USER_MODE) { ?>
119 | <a href="logout.php"><?php echo __('Logout') ?></a>
120 <?php } ?>
121 </div>
122 <img src="<?php echo $theme_image_path ?>images/ttrss_logo.png" alt="Tiny Tiny RSS"/>
123 </div>
124
125 <div id="prefTabs">
126 <!-- <div class="return">
127 <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a>
128 </div> -->
129
130 <div class='prefKbdHelp'>
131 <img src="images/small_question.png" alt="?"> <a href='#' onclick="Effect.Appear('hotkey_help_overlay', {duration: 0.3})">Keyboard shortcuts</a>
132 </div>
133
134 <div class="firstTab">&nbsp;</div>
135
136 <div id="genConfigTab" class="prefsTab"
137 onclick="selectTab('genConfig')"><?php echo __('Preferences') ?></div>
138 <div id="feedConfigTab" class="prefsTab"
139 onclick="selectTab('feedConfig')"><?php echo __('My Feeds') ?></div>
140 <?php if (ENABLE_FEED_BROWSER && !SINGLE_USER_MODE) { ?>
141 <div id="feedBrowserTab" class="prefsTab"
142 onclick="selectTab('feedBrowser')"><?php echo __('Other Feeds') ?></div>
143 <?php } ?>
144 <!-- <div id="pubItemsTab" class="prefsTab"
145 onclick="selectTab('pubItems')"><?php echo __('Published Articles') ?></div> -->
146 <div id="filterConfigTab" class="prefsTab"
147 onclick="selectTab('filterConfig')"><?php echo __('Content Filtering') ?></div>
148 <?php if (get_pref($link, 'ENABLE_LABELS')) { ?>
149 <div id="labelConfigTab" class="prefsTab"
150 onclick="selectTab('labelConfig')"><?php echo __('Label Editor') ?></div>
151 <?php } ?>
152 <?php if ($_SESSION["access_level"] >= 10) { ?>
153 <div id="userConfigTab" class="prefsTab"
154 onclick="selectTab('userConfig')"><?php echo __('User Manager') ?></div>
155 <?php } ?>
156 </div>
157
158 <div id="prefContent">
159 <p><?php echo __('Loading, please wait...') ?></p>
160 <noscript>
161 <div class="error">
162 <?php echo __("Your browser doesn't support Javascript, which is required
163 for this application to function properly. Please check your
164 browser settings.") ?></div>
165 </noscript>
166 </div>
167
168 <div id="notify" class="notify"><span id="notify_body">&nbsp;</span></div>
169 <div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
170
171 <div id="dialog_overlay"> </div>
172
173 <div id="prefFooter">
174 <?php if (defined('_DEBUG_USER_SWITCH')) { ?>
175 <select id="userSwitch" onchange="userSwitch()">
176 <?php
177 foreach (array('admin', 'fox', 'test') as $u) {
178 $op_sel = ($u == $_SESSION["name"]) ? "selected" : "";
179 print "<option $op_sel>$u</option>";
180 }
181 ?>
182 </select>
183 <?php } ?>
184 <a href="http://tt-rss.org/">Tiny Tiny RSS</a> v<?php echo VERSION ?> &copy; 2005&ndash;2008 <a href="http://bah.org.ru/">Andrew Dolgov</a>
185 </div>
186
187 <?php db_close($link); ?>
188
189 <script type="text/javascript">
190 /* for IE */
191 function statechange() {
192 if (document.readyState == "interactive") init();
193 }
194
195 if (document.readyState) {
196 if (document.readyState == "interactive" || document.readyState == "complete") {
197 init();
198 } else {
199 document.onreadystatechange = statechange;
200 }
201 }
202 </script>
203
204 </body>
205 </html>