     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

        console.log "wizard insert:", lang, code
        cm = @focused_codemirror()
        line = cm.getCursor().line
        @syncdoc.insert_new_cell(line)
        cm.replaceRange("%#{lang}\n#{code}", {line : line+1, ch:0})
        @syncdoc?.sync()


                @print()

    restore_font_size: () =>
        # we set the font_size from local storage
        # or fall back to the default from the account settings
        for i, cm of [@codemirror, @codemirror1]
            size = @local_storage("font_size#{i}")
            if size?
                @set_font_size(cm, size)
            else if @default_font_size?
                @set_font_size(cm, @default_font_size)

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