       lines = @editor.getScreenLineCount()
       @editorDiv.style.setProperty 'height',
         "#{lines*lh}px"
+    setPrompt = (prompt) =>
+      @promptDiv.innerText = prompt+'>'
 
     @editorElement.onDidAttach -> setEditorHeight()
     @editor.onDidChange ->

            line.slice(0,10000) + '...'
          else
            line
        if lines.slice(-1)[0] is '#~IDEHASKELLREPL~#'
          lines =
            if lines.slice(-2)[0]
              lines.slice(0,-1)


    ghci = @process.process

    ghci.stdin.write(":set prompt \"\\n#~IDEHASKELLREPL~%s~#\\n\"#{EOL}")
    ghci.stdin.write(":set prompt2 \"\"#{EOL}")
    ghci.stdin.write(":set editor atom #{EOL}")
    ghci.stdin.write(":load #{@uri}#{EOL}")
