Merge pull request #111 from mads379/master
#108 Enable utop-command to be buffer-local
This commit is contained in:
commit
b7259ae286
|
@ -1229,10 +1229,14 @@ Special keys for utop:
|
||||||
(utop-query-arguments)
|
(utop-query-arguments)
|
||||||
;; Create the buffer
|
;; Create the buffer
|
||||||
(setq buf (get-buffer-create utop-buffer-name))
|
(setq buf (get-buffer-create utop-buffer-name))
|
||||||
;; Jump to the buffer
|
;; Jump to the buffer - If utop-command is used as a
|
||||||
(pop-to-buffer buf)
|
;; buffer-local variable we pass the value along to the utop
|
||||||
;; Put it in utop mode
|
;; buffer.
|
||||||
(with-current-buffer buf (utop-mode))))
|
(let ((cmd utop-command))
|
||||||
|
(pop-to-buffer buf)
|
||||||
|
(setq utop-command cmd)
|
||||||
|
;; Put it in utop mode
|
||||||
|
(with-current-buffer buf (utop-mode)))))
|
||||||
buf))
|
buf))
|
||||||
|
|
||||||
(provide 'utop)
|
(provide 'utop)
|
||||||
|
|
Loading…
Reference in New Issue