diff options
Diffstat (limited to 'js/prefs.js')
-rwxr-xr-x | js/prefs.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/prefs.js b/js/prefs.js index 628e66a11..69e779d45 100755 --- a/js/prefs.js +++ b/js/prefs.js @@ -919,6 +919,7 @@ function init() { "dojo/ready", "dojo/parser", "dojo/_base/loader", + "dojo/_base/html", "dijit/ColorPalette", "dijit/Dialog", "dijit/form/Button", @@ -1811,3 +1812,4 @@ function clearSqlLog() { function updateSelectedPrompt() { // no-op shim for toggleSelectedRow() } + |