change top "Config" menu to "Options"

GMOD · Nov 16, 2012 · 7a68c95 · 7a68c95
1 parent c645e2b
commit 7a68c95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/JBrowse/Browser.js b/src/JBrowse/Browser.js
@@ -328,7 +328,7 @@ Browser.prototype.initView = function() {
         if( configMenu ) {
             var configLink = new dijitDropDownButton(
                 { className: 'config',
-                  innerHTML: '<span class="icon"></span> Config',
+                  innerHTML: '<span class="icon"></span> Options',
                   title: 'configure JBrowse',
                   dropDown: configMenu
                 });