diff options
Diffstat (limited to 'javascript/settings.js')
-rw-r--r-- | javascript/settings.js | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/javascript/settings.js b/javascript/settings.js index cb9f802..498f70e 100644 --- a/javascript/settings.js +++ b/javascript/settings.js @@ -75,7 +75,7 @@ var RecCmdsIcon = new Array("","\uE005","","","","","","","",""); var preRecTime = 300 ;// for local recordings time before recording in seconds var afterRecTime = 600 ; // for local recordings time after recording in seconds -var No_rec_key = 1; // 0 = use rec_keys, 1 = don't use rec_keys, no server recording possible +var No_rec_key = 0; // 0 = use rec_keys, 1 = don't use rec_keys, no server recording possible // // No need to change anything from here on. @@ -156,6 +156,7 @@ var ChangeOK = 0; var Extok = 0; var count = 0; +//Remote settings //keys var KEY_0 = "U+0030"; var KEY_1 = "U+0031"; @@ -167,6 +168,7 @@ var KEY_6 = "U+0036"; var KEY_7 = "U+0037"; var KEY_8 = "U+0038"; var KEY_9 = "U+0039"; +var KEY_MENU = "Menu"; if (No_rec_key) { var KEY_REC = ""; var KEY_REC2 = ""; @@ -205,6 +207,8 @@ var KEY_LEFT2 = "ScrollLeft"; var KEY_UP2 = "ScrollUp"; var KEY_DOWN2 = "ScrollDown"; +//End of Remote settings + var eitCache = null; var events = null; var eitService = null; |