     is_active: () =>
         return @editor? and @editor._active_tab_filename == @filename
 
+    # call it, to set the @default_font_size from the account settings
+    init_font_size: () =>
+        if not @editor?
+            return
+        @default_font_size = redux.getStore('account').get('font_size')
+        #console.log("FileEditor@default_font_size: #{@default_font_size}")
+
     init_autosave: () =>
         if not @editor?  # object already freed
             return

                @print()

    restore_font_size: () =>
        for i, cm of [@codemirror, @codemirror1]
            size = @local_storage("font_size#{i}")
            if size?
                @set_font_size(cm, size)

    set_font_size: (cm, size) =>
        if size > 1


    # hide/show the second linked codemirror editor, depending on whether or not it's enabled
    _show_extra_codemirror_view: () =>
        $(@codemirror1.getWrapperElement()).toggle(@_split_view)

    _show_codemirror_editors: (height, width) =>
        # console.log("_show_codemirror_editors: #{width} x #{height}")
