1 var hotkeys_enabled = true;
3 function disableHotkeys() {
4 hotkeys_enabled = false;
7 function enableHotkeys() {
8 hotkeys_enabled = true;
11 function xmlhttp_ready(obj) {
12 return obj.readyState == 4 || obj.readyState == 0 || !obj.readyState;
16 function notify_callback() {
17 var container = document.getElementById('notify');
18 if (xmlhttp.readyState == 4) {
19 container.innerHTML=xmlhttp.responseText;
23 function rpc_notify_callback() {
24 var container = document.getElementById('notify');
25 if (xmlhttp_rpc.readyState == 4) {
26 container.innerHTML=xmlhttp_rpc.responseText;
30 function param_escape(arg) {
31 if (typeof encodeURIComponent != 'undefined')
32 return encodeURIComponent(arg);
37 function param_unescape(arg) {
38 if (typeof decodeURIComponent != 'undefined')
39 return decodeURIComponent(arg);
46 then=new Date().getTime();
48 while((now-then)<gap) {
49 now=new Date().getTime();
53 function notify(msg) {
55 var n = document.getElementById("notify");
61 if (msg.length == 0) {
62 n.style.display = "none";
64 n.style.display = "block";
69 function printLockingError() {
70 notify("Please wait until operation finishes");}
74 function hotkey_handler(e) {
78 if (!hotkeys_enabled) return;
81 keycode = window.event.keyCode;
86 if (keycode == 13 || keycode == 27) {
89 seq = seq + "" + keycode;
92 var piggie = document.getElementById("piggie");
94 if (seq.match("807371717369")) {
95 localPiggieFunction(true);
97 localPiggieFunction(false);
100 if (typeof localHotkeyHandler != 'undefined') {
101 localHotkeyHandler(keycode);
106 function cleanSelected(element) {
107 var content = document.getElementById(element);
109 var rows = new Array();
111 for (i = 0; i < content.rows.length; i++) {
112 content.rows[i].className = content.rows[i].className.replace("Selected", "");
117 function getVisibleUnreadHeadlines() {
118 var content = document.getElementById("headlinesList");
120 var rows = new Array();
122 for (i = 0; i < content.rows.length; i++) {
123 var row_id = content.rows[i].id.replace("RROW-", "");
124 if (row_id.length > 0 && content.rows[i].className.match("Unread")) {
131 function getVisibleHeadlineIds() {
133 var content = document.getElementById("headlinesList");
135 var rows = new Array();
137 for (i = 0; i < content.rows.length; i++) {
138 var row_id = content.rows[i].id.replace("RROW-", "");
139 if (row_id.length > 0) {
146 function getFirstVisibleHeadlineId() {
147 var rows = getVisibleHeadlineIds();
151 function getLastVisibleHeadlineId() {
152 var rows = getVisibleHeadlineIds();
153 return rows[rows.length-1];
156 function markHeadline(id) {
157 var row = document.getElementById("RROW-" + id);
159 row.className = row.className + "Selected";
163 function getFeedIds() {
164 var content = document.getElementById("feedsList");
166 var rows = new Array();
168 for (i = 0; i < content.rows.length; i++) {
169 var id = content.rows[i].id.replace("FEEDR-", "");