     uri = editor.getURI()
     line = editor.getLastCursor().getBufferRow()
     word = @getWordUnderCursor editor
+    @clearMessagePanel 'Idris: Make case ...'
 
     successHandler = ({ responseType, msg }) =>
       [clause] = @prefixLiterateClause msg
+
+      @hideAndClearMessagePanel()
 
       editor.transact ->
         # Delete old line, insert the new case block

    line = editor.getLastCursor().getBufferRow()
    word = @getWordUnderCursor editor

    successHandler = ({ responseType, msg }) =>
      [clause] = @prefixLiterateClause msg
      editor.transact ->
        # Delete old line, insert the new with block
        editor.deleteLine()

    @saveFile editor
    uri = editor.getURI()
    word = Symbol.serializeWord @getWordUnderCursor(editor)
    @clearMessagePanel 'Idris: Searching docs for <tt>' + word + '</tt> ...'

    successHandler = ({ responseType, msg }) =>
      [type, highlightingInfo] = msg
      @clearMessagePanel 'Idris: Docs for <tt>' + word + '</tt>'

      informationView = new InformationView
      informationView.initialize
        obligation: type
