diff options
| author | Byron Jones <bjones@mozilla.com> | 2013-08-20 05:36:50 +0200 |
|---|---|---|
| committer | Byron Jones <bjones@mozilla.com> | 2013-08-20 05:36:50 +0200 |
| commit | 4d162fd9c499b11cf5fb797e2ab176bb796deeb5 (patch) | |
| tree | 8006a9c316d2e2560f2e6ad7802d5d00dfef3724 /extensions/Splinter/web/splinter.js | |
| parent | 0d90d9eca71347143bafbefaf8cd6d0270576e63 (diff) | |
| download | bugzilla-4d162fd9c499b11cf5fb797e2ab176bb796deeb5.tar.gz bugzilla-4d162fd9c499b11cf5fb797e2ab176bb796deeb5.tar.xz | |
Bug 906576: the font size in splinter is too small
Diffstat (limited to 'extensions/Splinter/web/splinter.js')
| -rw-r--r-- | extensions/Splinter/web/splinter.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extensions/Splinter/web/splinter.js b/extensions/Splinter/web/splinter.js index fae0e20fb..e5f22c397 100644 --- a/extensions/Splinter/web/splinter.js +++ b/extensions/Splinter/web/splinter.js @@ -1991,7 +1991,7 @@ Splinter.appendPatchHunk = function (file, hunk, tableType, includeComments, cli Splinter.addPatchFile = function (file) { var fileDiv = new Element(document.createElement('div')); Dom.addClass(fileDiv, 'file'); - fileDiv.appendTo(Dom.get('files')); + fileDiv.appendTo(Dom.get('splinter-files')); file.div = fileDiv; var statusString; @@ -2327,7 +2327,7 @@ Splinter.start = function () { Dom.setStyle('attachmentInfo', 'display', 'block'); Dom.setStyle('navigationContainer', 'display', 'block'); Dom.setStyle('overview', 'display', 'block'); - Dom.setStyle('files', 'display', 'block'); + Dom.setStyle('splinter-files', 'display', 'block'); Dom.setStyle('attachmentStatusSpan', 'display', 'none'); if (Splinter.thePatch.intro) { |