[webui] prefer smaller font - the old men can enlarge it in the combox

openSUSE · Dec 6, 2012 · c25b3d6 · c25b3d6
1 parent 5e2b24b
commit c25b3d6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/src/webui/app/assets/javascripts/cm2/index.js b/src/webui/app/assets/javascripts/cm2/index.js
@@ -80,6 +80,7 @@ function use_codemirror(id, read_only, mode)
     var codeMirrorOptions = {
 	lineNumbers: true,
 	matchBrackets: true,
+        fontSize: '9pt',
 	/* onCursorActivity: function(editor) {
 	    editor.setLineClass(editor.hlLine, null);
 	    editor.hlLine = editor.setLineClass(editor.getCursor().line, "activeline");

diff --git a/src/webui/app/views/shared/_sourcediff.html.erb b/src/webui/app/views/shared/_sourcediff.html.erb
@@ -1,7 +1,8 @@
 <% editor_width ||= 'auto' %>
 <% css_class ||= '' %>
+<% css_id ||= nil %>
 <% div_opts = { data: { url: url_for(:controller => 'request', :action => 'sourcediff') } }
-   div_opts[:id] = css_id if css_id 
+   div_opts[:id] = css_id
    div_opts[:class] = "table_wrapper #{css_class}" %>
 
 <% setup_codemirror_editor(height: 'auto', width: editor_width, no_border: true) # we need to have this here for ajax only diffs %>