Merge pull request #264 from sarg/master

Fix 'Wrong type argument: commandp' in +workspace/kill-session-and-quit.
This commit is contained in:
Henrik Lissner 2017-11-08 22:54:22 +01:00 committed by GitHub
commit 3a1ac03d21
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -315,6 +315,7 @@ workspace to delete."
;;;###autoload
(defun +workspace/kill-session-and-quit ()
"Forgets current session and quits."
(interactive)
(+workspace/kill-session)
(save-buffers-kill-terminal))