diff options
Diffstat (limited to 'js/webm-settings.js')
| -rw-r--r-- | js/webm-settings.js | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/js/webm-settings.js b/js/webm-settings.js index 6b1ed45c..cecf36d0 100644 --- a/js/webm-settings.js +++ b/js/webm-settings.js @@ -1,5 +1,9 @@ /* This file is dedicated to the public domain; you may do as you wish with it. */ +if (typeof _ == 'undefined') { + var _ = function(a) { return a; }; +} + // Default settings var defaultSettings = { "videoexpand": true, @@ -35,11 +39,11 @@ var settingsMenu = document.createElement("div"); settingsMenu.style.textAlign = "right"; settingsMenu.style.background = "inherit"; -settingsMenu.innerHTML = '<a class="unimportant" href="javascript:void(0)"><span>WebM Settings</span></a>' +settingsMenu.innerHTML = '<a class="unimportant" href="javascript:void(0)"><span>'+_('WebM Settings')+'</span></a>' + '<div style="display: none; text-align: left; position: absolute; right: 1em; margin-left: -999em; margin-top: -1px; padding-top: 1px; background: inherit;">' - + '<label><input type="checkbox" name="videoexpand">Expand videos inline</label><br>' - + '<label><input type="checkbox" name="videohover">Play videos on hover</label><br>' - + '<label><input type="range" name="videovolume" min="0" max="1" step="0.01" style="width: 4em; height: 1ex; vertical-align: middle; margin: 0px;">Default volume</label><br>' + + '<label><input type="checkbox" name="videoexpand">'+_('Expand videos inline')+'</label><br>' + + '<label><input type="checkbox" name="videohover">'+_('Play videos on hover')+'</label><br>' + + '<label><input type="range" name="videovolume" min="0" max="1" step="0.01" style="width: 4em; height: 1ex; vertical-align: middle; margin: 0px;">'+_('Default volume')+'</label><br>' + '</div>'; function refreshSettings() { |