Make a richlistbox.

Mike Perry · Mike Perry · commit 2ea85f870b98 · 2010-11-10T14:59:44.000-08:00
The columns are still uneven and ugly..
diff --git a/src/chrome/content/preferences.js b/src/chrome/content/preferences.js
@@ -28,11 +28,13 @@ function https_prefs_init(doc) {
   var rs = doc.getElementById('https_everywhere_RuleSetList');
   var rulesets = https_everywhere.https_rules.rules;
   var hbox;
+
+
   for (var i = 0; i < rulesets.length; i++) {
     var ruleset = rulesets[i];
 
     if (i % row_width == 0) {
-      hbox = doc.createElement("hbox");
+      hbox = doc.createElement("richlistitem");
       rs.insertBefore(hbox,null);
     }
 
diff --git a/src/chrome/content/preferences.xul b/src/chrome/content/preferences.xul
@@ -20,9 +20,9 @@
       <caption label="Which HTTPS redirection rules should apply?" 
                align="center"/>
         <vbox>
-          <vbox class="indent" align="center" id="https_everywhere_RuleSetList">
+          <richlistbox rows="3" class="indent" align="center" id="https_everywhere_RuleSetList">
             <separator class="groove" />
-          </vbox>
+          </richlistbox>
           <vbox>
             You can learn how to write your own rulesets
             <label id="ruleset link" 
