Merge remote-tracking branch 'refs/remotes/github/master' into phoenix

This commit is contained in:
Tom Willemsen 2012-03-11 11:39:43 +01:00
commit 20d500539d

View file

@ -90,9 +90,11 @@ the command."
(string-append "dmenu_pick -p 'Run:' " dmenu-args)))
(prog (read-line file)))
(close-port file)
(switch-to-tag prog)
(run-command prog))
(reset-main-binding))
(if (string? prog)
(begin
(switch-to-tag prog)
(run-command prog)))
(reset-main-binding)))
(define (kill-tag)
"Kill a selected tag"