haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #347 from dansanduleac/patch-1 

Utop correctly restarts when (not utop-edit-command)
This commit is contained in:
Rudi Grinberg 2021-04-03 20:18:13 -07:00 committed by GitHub
parent b2f15bff67 ba44fc9cc2
commit 1660e5989a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/top/utop.el
View File

@ -1081,8 +1081,8 @@ defaults to 0."
"Return the arguments of the utop command to run." "Return the arguments of the utop command to run."
;; Read the command to run ;; Read the command to run
(when utop-edit-command (when utop-edit-command
(setq utop-command (read-shell-command "utop command line: " utop-command)) (setq utop-command (read-shell-command "utop command line: " utop-command)))
(utop-arguments))) (utop-arguments))
(defun utop-start (arguments) (defun utop-start (arguments)
"Start utop given ARGUMENTS." "Start utop given ARGUMENTS."