                 if changeObj.next?
                     handle_mobile_change(ed, changeObj.next)
             editor.on('change', handle_mobile_change)
+
+            @mobile_keydown = (ev) =>
+                if ev.keyCode == 8
+                    @terminal.keyDown(ev)
 
             # Buttons
             @element.find(".salvus-console-up").click () ->


    blur : () =>
        @is_focused = false
        @terminal.blur()
        $(@terminal.element).removeClass('salvus-console-focus').addClass('salvus-console-blur')
        editor = @terminal.editor


    focus : () =>
        @is_focused = true
        if IS_MOBILE
            $(document).on('keydown', @mobile_keydown)
        else
            @terminal.focus()

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