UI: ruleset filter results -> always be visible

pde · pde · commit 7bc06ebf8d0d · 2011-05-04T18:35:44.000-07:00
After a change in the ruleset list search/filter state, we need to jump to the
first result or else there's no guarantee that it will be visible.
diff --git a/src/chrome/content/preferences.js b/src/chrome/content/preferences.js
@@ -105,6 +105,7 @@ function https_prefs_init(doc) {
       this.rules = new_rules;
       this.rowCount = new_rules.length;
       this.treebox.invalidate();
+      this.treebox.scrollToRow(rulesets[0]);
     }
   };
 

Original file line number	Diff line number	Diff line change
`@@ -105,6 +105,7 @@ function https_prefs_init(doc) {`
`105`	`105`	`this.rules = new_rules;`
`106`	`106`	`this.rowCount = new_rules.length;`
`107`	`107`	`this.treebox.invalidate();`
	`108`	`+ this.treebox.scrollToRow(rulesets[0]);`
`108`	`109`	`}`
`109`	`110`	`};`
`110`	`111`