Unified Diff: lib/main.js
Issue 29335559:
Issue 3624 - Filter list height is too small by default if Vertical Layout is enabled (Closed)
Patch Set:
Created Feb. 4, 2016, 12:11 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: lib/main.js |
| =================================================================== |
| --- a/lib/main.js |
| +++ b/lib/main.js |
| @@ -52,32 +52,36 @@ var VerticalPreferencesLayout = |
| { |
| __proto__: WindowFeature, |
| windowUrl: "chrome://adblockplus/content/ui/filters.xul", |
| _applyToWindow: function(window) |
| { |
| let content = window.document.getElementById("content"); |
| let splitter = window.document.getElementById("filtersSplitter"); |
| - if (!content || !splitter) |
| + let tree = window.document.getElementById("filtersTree"); |
| + if (!content || !splitter || !tree) |
| return; |
| content.setAttribute("orient", "vertical"); |
| splitter.setAttribute("orient", "vertical"); |
| + tree.setAttribute("minheight", "60px"); |
| }, |
| _removeFromWindow: function(window) |
| { |
| let content = window.document.getElementById("content"); |
| let splitter = window.document.getElementById("filtersSplitter"); |
| - if (!content || !splitter) |
| + let tree = window.document.getElementById("filtersTree"); |
| + if (!content || !splitter || !tree) |
| return; |
| content.removeAttribute("orient"); |
| splitter.setAttribute("orient", "horizontal"); |
| + tree.removeAttribute("minheight"); |
| } |
| }; |
| var StylesheetFeature = |
| { |
| uri: null, |
| stylesheetService: Cc["@mozilla.org/content/style-sheet-service;1"].getService(Ci.nsIStyleSheetService), |
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
