var init_params = new Object();
-var op_history = new Array();
+//var op_history = new Array();
function tagsAreDisplayed() {
return display_tags;
exception_error("feedEditSave (main)", e);
}
}
-
+/*
function localHotkeyHandler(e) {
var keycode;
}
debug("LKP=" + keycode);
-}
+}
function history_push(op) {
debug("history_push: " + op);
function history_clear() {
debug("history_clear");
op_history.clear();
-}
+} */