#118 closed: "Make selectboxes for versions and default version a bit…

… narrower"
colladoc · Aug 3, 2011 · 39737a8 · 39737a8
1 parent 4b4e24f
commit 39737a8
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/main/scala/scala/tools/colladoc/lib/js/JqUI.scala b/src/main/scala/scala/tools/colladoc/lib/js/JqUI.scala
@@ -40,7 +40,7 @@ object JqUI {
   }
 
   /** Convert selected element to select menu. */
-  case class SelectMenu(width: Int = 300) extends JsExp with JsMember {
+  case class SelectMenu(width: Int = 225) extends JsExp with JsMember {
     override def toJsCmd = "selectmenu({ width: " + width.toString + " })"
   }
 

diff --git a/src/main/webapp/scripts/cosearch.js b/src/main/webapp/scripts/cosearch.js
@@ -142,7 +142,7 @@ function infiniteScroll(){
                             $("#recCount").text(parseInt(recText) + newNum);
 
                             var combos=$(result).find("select");
-                            combos.selectmenu({width:300});
+                            combos.selectmenu({width:225});
 
                             // append new elements to results page
                             $("#searchResults").append(result.children());

diff --git a/src/main/webapp/scripts/cotemplate.js b/src/main/webapp/scripts/cotemplate.js
@@ -52,7 +52,7 @@ function shortcut_enable(){
 
 function reinit(selector) {
     $('.button', $(selector)).button();
-    $('.select', $(selector)).selectmenu({ width: 300 });
+    $('.select', $(selector)).selectmenu({ width: 225 });
     $('.menu', $(selector)).each(function() {
         $(this).next().menu({ input: $(this) }).hide();
     }).click(function(event) {