   (interactive)
   (if worker
       (intero-delete-worker worker)
-    (intero-delete-worker 'backend)
-    (intero-delete-worker 'repl)))
+    (intero-delete-worker 'backend)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; DevelMain integration

    (let ((targets (with-current-buffer (intero-buffer 'backend)
                     intero-targets)))
      (intero-destroy 'backend)
      (intero-get-worker-create 'backend targets (current-buffer))))
  (when (intero-buffer-p 'repl)
    (let ((targets (with-current-buffer (intero-buffer 'repl)
                     intero-targets)))
      (intero-destroy 'repl)
      (intero-get-worker-create 'backend targets (current-buffer)))))

(defun intero-targets ()


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Interactive commands

(defun intero-type-at (insert)
  "Get the type of the thing or selection at point."
