 
   doProofSearch: ({target}) =>
     editor = target.model
+    editor.save()
     uri = editor.getURI()
     line = editor.getLastCursor().getBufferRow()
     word = @getWordUnderCursor target


  doCaseSplit: ({target}) =>
    editor = target.model
    uri = editor.getURI()
    cursor = editor.getLastCursor()
    line = cursor.getBufferRow()

      .subscribe successHandler, @displayErrors

  getTypeForWord: ({target}) =>
    target.model.save()
    word = @getWordUnderCursor target

    successHandler = ({responseType, msg}) =>
