diff options
| author | czaks <marcin@6irc.net> | 2014-09-20 06:18:37 +0200 |
|---|---|---|
| committer | czaks <marcin@6irc.net> | 2014-09-20 06:19:34 +0200 |
| commit | f7a015e7feb72b33d08538455f5d8774f13bce76 (patch) | |
| tree | 48ea2bc829aac8aaea044ee6fd7444c6e27d403a /js/expand-video.js | |
| parent | ceaaae824ad7ff6f6956a025556b23efc926859a (diff) | |
add user-options dialog functionality; port webm-settings to it; make a basic general settings applet; make it work on mobiles
Diffstat (limited to 'js/expand-video.js')
| -rw-r--r-- | js/expand-video.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/js/expand-video.js b/js/expand-video.js index 76a2018e..79872510 100644 --- a/js/expand-video.js +++ b/js/expand-video.js @@ -218,7 +218,8 @@ function setupVideosIn(element) { onready(function(){ // Insert menu from settings.js - if (typeof settingsMenu != "undefined") document.body.insertBefore(settingsMenu, document.getElementsByTagName("hr")[0]); + if (typeof settingsMenu != "undefined" && typeof Options == "undefined") + document.body.insertBefore(settingsMenu, document.getElementsByTagName("hr")[0]); // Setup Javascript events for videos in document now setupVideosIn(document); |