             @terminal.focus()
             @_focus_hidden_textarea()
 
-        @is_focused = true
         $(@terminal.element).addClass('salvus-console-focus').removeClass('salvus-console-blur')
         editor = @terminal.editor
         if editor?

                )
        else
            # TODO:  *leak!!* these should be deleted when the terminal is closed

            $(document).on 'mousedown', (e) =>
                t = $(e.target)
                if t.hasParent($(@terminal.element)).length > 0

            e.find(".salvus-console-cursor-focus").removeClass("salvus-console-cursor-focus").addClass("salvus-console-cursor-blur")

    focus: () =>
        if @is_focused
            return
        focused_console = @
        @is_focused = true

        $(@terminal.element).focus()
        if not @_character_height?
