     @saveFile editor
     uri = editor.getURI()
     word = Symbol.serializeWord @getWordUnderCursor(editor)
+    @clearMessagePanel 'Idris: Searching docs for <tt>' + word + '</tt> ...'
 
     successHandler = ({ responseType, msg }) =>
       [type, highlightingInfo] = msg
-      @messages.attach()
-      @messages.show()
-      @messages.clear()
-      @messages.setTitle 'Idris: Docs for <tt>' + word + '</tt>', true
+      @clearMessagePanel 'Idris: Docs for <tt>' + word + '</tt>'
+
       informationView = new InformationView
       informationView.initialize
         obligation: type

  # open the repl window
  openREPL: ({ target }) =>
    uri = @getEditor().getURI()

    successHandler = ({ responseType, msg }) ->
      options =
        split: 'right'
        searchAllPanes: true

    editor = @getEditor()
    @saveFile editor
    uri = editor.getURI()
    @clearMessagePanel 'Idris: Typechecking ...'

    successHandler = ({ responseType, msg }) =>
      @clearMessagePanel 'Idris: File loaded successfully'

    @model
      .load uri
