2017-06-08 11:47:56 +02:00
|
|
|
;;; feature/workspaces/autoload/workspaces.el -*- lexical-binding: t; -*-
|
2017-02-04 03:21:04 -05:00
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
(defvar +workspace-workspace-file "_workspaces"
|
|
|
|
"The file basename in which to store single workspace perspectives.")
|
|
|
|
|
2017-04-10 18:21:42 -04:00
|
|
|
(defvar +workspace--last nil)
|
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
(defface +workspace-tab-selected-face
|
2017-06-09 15:40:53 +02:00
|
|
|
'(((t (:inherit highlight))))
|
2017-04-17 02:20:07 -04:00
|
|
|
"The face for selected tabs displayed by `+workspace/display'"
|
|
|
|
:group 'doom)
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
(defface +workspace-tab-face
|
2017-06-09 15:40:53 +02:00
|
|
|
'(((t (:inherit default))))
|
2017-04-17 02:20:07 -04:00
|
|
|
"The face for selected tabs displayed by `+workspace/display'"
|
|
|
|
:group 'doom)
|
2017-02-08 01:54:24 -05:00
|
|
|
|
2017-02-04 03:21:04 -05:00
|
|
|
;;;###autoload
|
2017-04-12 11:27:31 -04:00
|
|
|
(defun +workspace-list ()
|
2017-02-08 01:54:24 -05:00
|
|
|
"Retrieve a list of names of open workspaces (strings)."
|
2017-04-12 11:27:31 -04:00
|
|
|
(delete persp-nil-name (persp-names-current-frame-fast-ordered)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-p (obj)
|
|
|
|
"Return t if OBJ is a perspective hash table."
|
2017-03-01 21:40:42 -05:00
|
|
|
(and obj
|
|
|
|
(hash-table-p obj)
|
2017-02-08 01:54:24 -05:00
|
|
|
(perspective-p obj)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-exists-p (name)
|
|
|
|
"Returns t if NAME is the name of an existing workspace."
|
|
|
|
(when (symbolp name)
|
|
|
|
(setq name (symbol-name name)))
|
|
|
|
(unless (stringp name)
|
|
|
|
(error "Expected a string, got a %s" (type-of name)))
|
|
|
|
(member name (+workspace-list)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-get (name &optional noerror)
|
|
|
|
"Returns a workspace (perspective hash table) named NAME."
|
|
|
|
(unless (equal name persp-nil-name)
|
|
|
|
(let ((persp (persp-get-by-name name)))
|
|
|
|
(unless (or persp noerror)
|
|
|
|
(error "%s is not an available workspace" name))
|
|
|
|
persp)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-current-name ()
|
|
|
|
"Get the name of the currently active workspace."
|
|
|
|
(safe-persp-name (get-current-persp)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-load (name)
|
|
|
|
"Loads and inserts a single workspace (named NAME) into the current session.
|
|
|
|
Can only retrieve perspectives that were explicitly saved with
|
|
|
|
`+workspace-save'.
|
2017-02-04 03:21:04 -05:00
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
Returns t if successful, nil otherwise."
|
|
|
|
(unless (+workspace-exists-p name)
|
|
|
|
(persp-load-from-file-by-names +workspace-workspace-file *persp-hash* (list name)))
|
|
|
|
(+workspace-exists-p name))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace-load-session (&optional name)
|
|
|
|
"Replace current session with the entire session named NAME. If NAME is nil,
|
|
|
|
use `persp-auto-save-fname'."
|
|
|
|
(persp-load-state-from-file (or name persp-auto-save-fname)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace-save (name)
|
|
|
|
"Saves a single workspace (TARGET) from the current session. Can be loaded
|
|
|
|
again with `+workspace-load'. TARGET can be the string name of a workspace or
|
|
|
|
its perspective hash table.
|
2017-02-04 03:21:04 -05:00
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
Returns t on success, nil otherwise."
|
|
|
|
(unless (+workspace-exists-p name)
|
|
|
|
(error "%s is not an available workspace" name))
|
|
|
|
(persp-save-to-file-by-names
|
|
|
|
+workspace-workspace-file *persp-hash* (list name) t)
|
|
|
|
(memq name (persp-list-persp-names-in-file +workspace-workspace-file)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-save-session (&optional name)
|
|
|
|
"Save a whole session as NAME. If NAME is nil, use `persp-auto-save-fname'.
|
|
|
|
Return t on success, nil otherwise."
|
2017-03-13 14:21:42 -04:00
|
|
|
(when (or (not name)
|
|
|
|
(equal name persp-auto-save-fname))
|
|
|
|
(setq name persp-auto-save-fname
|
|
|
|
persp-auto-save-opt 0))
|
|
|
|
(and (persp-save-state-to-file name) t))
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace-new (name)
|
|
|
|
"Create a new workspace named NAME. If one already exists, return nil.
|
|
|
|
Otherwise return t on success, nil otherwise."
|
2017-04-10 18:21:42 -04:00
|
|
|
(when (+workspace-protected-p name)
|
|
|
|
(error "Can't create a new '%s' workspace" name))
|
2017-02-08 01:54:24 -05:00
|
|
|
(unless (+workspace-exists-p name)
|
|
|
|
(and (persp-add-new name) t)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace-rename (name new-name)
|
|
|
|
"Rename the current workspace named NAME to NEW-NAME. Returns old name on
|
|
|
|
success, nil otherwise."
|
2017-04-10 18:21:42 -04:00
|
|
|
(when (+workspace-protected-p name)
|
2017-04-17 02:20:07 -04:00
|
|
|
(error "Can't rename '%s' workspace" name))
|
2017-02-08 01:54:24 -05:00
|
|
|
(persp-rename new-name (+workspace-get name)))
|
|
|
|
|
|
|
|
;;;###autoload
|
2017-03-06 19:23:44 -05:00
|
|
|
(defun +workspace-delete (name &optional inhibit-kill-p)
|
2017-02-08 01:54:24 -05:00
|
|
|
"Delete the workspace denoted by TARGET, which can be the name of a
|
|
|
|
perspective or its hash table."
|
2017-04-10 18:21:42 -04:00
|
|
|
(when (+workspace-protected-p name)
|
|
|
|
(error "Can't delete '%s' workspace" name))
|
2017-02-08 01:54:24 -05:00
|
|
|
(+workspace-get name) ;; error checking
|
2017-03-06 19:23:44 -05:00
|
|
|
(persp-kill name inhibit-kill-p))
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-03-06 19:24:25 -05:00
|
|
|
(defun +workspace-switch (name &optional auto-create-p)
|
2017-02-08 01:54:24 -05:00
|
|
|
"Switch to another workspace."
|
|
|
|
(unless (+workspace-exists-p name)
|
2017-03-06 19:24:25 -05:00
|
|
|
(if auto-create-p
|
|
|
|
(+workspace-new name)
|
|
|
|
(error "%s is not an available workspace" name)))
|
2017-04-10 18:21:42 -04:00
|
|
|
(let ((old-name (+workspace-current-name)))
|
|
|
|
(setq +workspace--last
|
|
|
|
(or (and (not (string= old-name persp-nil-name))
|
|
|
|
old-name)
|
|
|
|
+workspaces-main)))
|
2017-02-08 01:54:24 -05:00
|
|
|
(persp-frame-switch name))
|
|
|
|
|
|
|
|
(defun +workspace--generate-id ()
|
2017-06-08 11:47:56 +02:00
|
|
|
(or (cl-loop for name in (+workspace-list)
|
|
|
|
when (string-match-p "^#[0-9]+$" name)
|
|
|
|
maximize (string-to-number (substring name 1)) into max
|
|
|
|
finally return (if max (1+ max)))
|
|
|
|
1))
|
2017-02-08 01:54:24 -05:00
|
|
|
|
2017-04-10 18:21:42 -04:00
|
|
|
(defun +workspace-protected-p (name)
|
|
|
|
(or (equal name persp-nil-name)
|
|
|
|
(equal name +workspaces-main)))
|
|
|
|
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
;;
|
|
|
|
;; Interactive commands
|
|
|
|
;;
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/load (name)
|
|
|
|
"Load a workspace and switch to it. If called with C-u, try to reload the
|
|
|
|
current workspace (by name) from session files."
|
|
|
|
(interactive
|
|
|
|
(list
|
|
|
|
(if current-prefix-arg
|
|
|
|
(+workspace-current-name)
|
|
|
|
(completing-read "Workspace to load: "
|
|
|
|
(persp-list-persp-names-in-file
|
|
|
|
+workspace-workspace-file)))))
|
|
|
|
(if (not (+workspace-load name))
|
|
|
|
(+workspace-error (format "Couldn't load workspace %s" name))
|
|
|
|
(+workspace/switch-to name)
|
|
|
|
(+workspace/display)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-22 04:28:20 -05:00
|
|
|
(defun +workspace/load-session (&optional name)
|
2017-02-08 01:54:24 -05:00
|
|
|
"Load a session and switch to it. If called with C-u, try to load the last
|
|
|
|
session."
|
|
|
|
(interactive
|
|
|
|
(list
|
|
|
|
(unless current-prefix-arg
|
|
|
|
(completing-read
|
|
|
|
"Session to load: "
|
2017-02-22 04:28:20 -05:00
|
|
|
(directory-files persp-save-dir nil "^[^_.]")
|
2017-02-11 00:52:25 -05:00
|
|
|
nil t))))
|
2017-03-13 14:21:42 -04:00
|
|
|
(condition-case ex
|
|
|
|
(let ((name (or name persp-auto-save-fname)))
|
|
|
|
(+workspace-load-session name)
|
|
|
|
(+workspace-message (format "'%s' workspace loaded" name) 'success))
|
|
|
|
'(error (+workspace-error (cadr ex) t))))
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/save (name)
|
|
|
|
"Save the current workspace. If called with C-u, autosave the current
|
|
|
|
workspace."
|
|
|
|
(interactive
|
|
|
|
(list
|
|
|
|
(if current-prefix-arg
|
|
|
|
(+workspace-current-name)
|
|
|
|
(completing-read "Workspace to save: " (+workspace-list)))))
|
|
|
|
(if (+workspace-save name)
|
2017-03-04 00:01:48 -05:00
|
|
|
(+workspace-message (format "'%s' workspace saved" name) 'success)
|
2017-02-08 01:54:24 -05:00
|
|
|
(+workspace-error (format "Couldn't save workspace %s" name))))
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/save-session (&optional name)
|
|
|
|
"Save the current session. If called with C-u, prompt you for the name to save
|
|
|
|
the session as."
|
|
|
|
(interactive
|
|
|
|
(list
|
|
|
|
(when current-prefix-arg
|
|
|
|
(completing-read
|
|
|
|
"Save session as: "
|
2017-02-22 04:28:20 -05:00
|
|
|
(directory-files persp-save-dir nil "^[^_.]")))))
|
2017-02-08 01:54:24 -05:00
|
|
|
(condition-case ex
|
2017-03-13 14:21:42 -04:00
|
|
|
(let ((name (or name persp-auto-save-fname)))
|
2017-02-11 00:52:25 -05:00
|
|
|
(if (+workspace-save-session name)
|
2017-03-13 14:21:42 -04:00
|
|
|
(+workspace-message (format "Saved session as '%s'" name) 'success)
|
|
|
|
(error "Couldn't save session as '%s'" name)))
|
2017-02-08 01:54:24 -05:00
|
|
|
'(error (+workspace-error (cadr ex) t))))
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/rename (new-name)
|
|
|
|
"Rename the current workspace."
|
2017-02-04 03:21:04 -05:00
|
|
|
(interactive)
|
2017-02-08 01:54:24 -05:00
|
|
|
(condition-case ex
|
|
|
|
(let* ((current-name (+workspace-current-name))
|
|
|
|
(old-name (+workspace-rename current-name new-name)))
|
|
|
|
(unless old-name
|
|
|
|
(error "Failed to rename %s" current-name))
|
|
|
|
(+workspace-message (format "Renamed '%s'->'%s'" old-name new-name) 'success))
|
|
|
|
('error (+workspace-error (cadr ex) t))))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace/delete (name)
|
|
|
|
"Delete this workspace. If called with C-u, prompts you for the name of the
|
|
|
|
workspace to delete."
|
|
|
|
(interactive
|
|
|
|
(let ((current-name (+workspace-current-name)))
|
|
|
|
(list
|
|
|
|
(if current-prefix-arg
|
|
|
|
(completing-read (format "Delete workspace (default: %s): " current-name)
|
|
|
|
(+workspace-list)
|
|
|
|
nil nil current-name)
|
|
|
|
current-name))))
|
|
|
|
(condition-case ex
|
2017-04-10 18:21:42 -04:00
|
|
|
(if (not (+workspace-delete name))
|
|
|
|
(error "Couldn't delete %s workspace" name)
|
|
|
|
(if (+workspace-exists-p +workspace--last)
|
|
|
|
(+workspace-switch +workspace--last)
|
|
|
|
(+workspace-switch +workspaces-main t))
|
|
|
|
(+workspace-message (format "Deleted '%s' workspace" name) 'success))
|
2017-02-08 01:54:24 -05:00
|
|
|
('error (+workspace-error (cadr ex) t))))
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/kill-session ()
|
|
|
|
"Delete the current session, clears all workspaces, windows and buffers."
|
2017-02-04 03:21:04 -05:00
|
|
|
(interactive)
|
2017-04-16 16:55:05 -04:00
|
|
|
(unless (cl-every '+workspace-delete (delete +workspaces-main (+workspace-list)))
|
2017-02-08 01:54:24 -05:00
|
|
|
(+workspace-error "Could not clear session"))
|
2017-04-10 18:21:42 -04:00
|
|
|
(+workspace-switch +workspaces-main t)
|
2017-02-19 18:40:39 -05:00
|
|
|
(doom/kill-all-buffers)
|
2017-02-20 16:33:52 -05:00
|
|
|
(let ((fallback-buf (doom-fallback-buffer)))
|
|
|
|
(switch-to-buffer fallback-buf)
|
2017-04-02 23:06:59 -04:00
|
|
|
(doom/cleanup-buffers)))
|
2017-02-19 18:40:39 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/kill-session-and-quit ()
|
|
|
|
"Forgets current session and quits."
|
|
|
|
(+workspace/kill-session)
|
|
|
|
(save-buffers-kill-terminal))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace/new (&optional name clone-p)
|
|
|
|
"Create a new workspace named NAME. If OVERWRITE-P is non-nil, clear any
|
|
|
|
pre-existing workspace."
|
|
|
|
(interactive "iP")
|
|
|
|
(unless name
|
|
|
|
(setq name (format "#%s" (+workspace--generate-id))))
|
|
|
|
(condition-case ex
|
|
|
|
(let ((exists-p (+workspace-exists-p name)))
|
|
|
|
(if exists-p
|
|
|
|
(error "%s already exists" name)
|
2017-04-10 18:21:42 -04:00
|
|
|
(+workspace-switch name t)
|
2017-02-08 01:54:24 -05:00
|
|
|
(if clone-p
|
2017-02-19 18:40:39 -05:00
|
|
|
(dolist (window (window-list))
|
|
|
|
(persp-add-buffer (window-buffer window) persp nil))
|
2017-02-08 01:54:24 -05:00
|
|
|
(delete-other-windows-internal)
|
2017-02-20 16:33:52 -05:00
|
|
|
(switch-to-buffer (doom-fallback-buffer)))
|
2017-02-08 01:54:24 -05:00
|
|
|
(+workspace/display)))
|
|
|
|
('error (+workspace-error (cadr ex) t))))
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/switch-to (index)
|
2017-02-04 03:21:04 -05:00
|
|
|
"Switch to a workspace at a given INDEX. A negative number will start from the
|
|
|
|
end of the workspace list."
|
2017-02-08 01:54:24 -05:00
|
|
|
(interactive
|
|
|
|
(list (or current-prefix-arg
|
|
|
|
(completing-read "Switch to workspace: " (+workspace-list)))))
|
2017-02-19 18:40:39 -05:00
|
|
|
(when (and (stringp index)
|
|
|
|
(string-match-p "^[0-9]+$" index))
|
2017-02-08 01:54:24 -05:00
|
|
|
(setq index (string-to-number index)))
|
|
|
|
(condition-case ex
|
2017-03-01 21:41:16 -05:00
|
|
|
(let ((names (+workspace-list))
|
|
|
|
(old-name (+workspace-current-name)))
|
2017-02-08 01:54:24 -05:00
|
|
|
(cond ((numberp index)
|
|
|
|
(let ((dest (nth index names)))
|
|
|
|
(unless dest
|
|
|
|
(error "No workspace at #%s" (1+ index)))
|
2017-04-10 18:21:42 -04:00
|
|
|
(+workspace-switch dest)))
|
2017-02-08 01:54:24 -05:00
|
|
|
((stringp index)
|
|
|
|
(unless (member index names)
|
|
|
|
(error "No workspace named %s" index))
|
2017-04-10 18:21:42 -04:00
|
|
|
(+workspace-switch index))
|
|
|
|
(t
|
|
|
|
(error "Not a valid index: %s" index)))
|
2017-02-08 01:54:24 -05:00
|
|
|
(unless (called-interactively-p 'interactive)
|
2017-03-01 21:41:16 -05:00
|
|
|
(if (equal (+workspace-current-name) old-name)
|
|
|
|
(+workspace-message (format "Already in %s" old-name) 'warn)
|
|
|
|
(+workspace/display))))
|
2017-02-08 01:54:24 -05:00
|
|
|
('error (+workspace-error (cadr ex) t))))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace/switch-to-last ()
|
|
|
|
"Switch to the last workspace."
|
2017-02-04 03:21:04 -05:00
|
|
|
(interactive)
|
2017-03-01 19:15:45 -05:00
|
|
|
(+workspace/switch-to (car (last (+workspace-list)))))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace/cycle (n)
|
|
|
|
"Cycle n workspaces to the right (default) or left."
|
|
|
|
(interactive (list 1))
|
2017-04-12 11:27:31 -04:00
|
|
|
(let ((current-name (+workspace-current-name)))
|
|
|
|
(if (equal current-name persp-nil-name)
|
|
|
|
(+workspace-switch +workspaces-main t)
|
|
|
|
(condition-case ex
|
|
|
|
(let* ((persps (+workspace-list))
|
|
|
|
(perspc (length persps))
|
2017-04-17 02:19:20 -04:00
|
|
|
(index (cl-position current-name persps)))
|
2017-04-12 11:27:31 -04:00
|
|
|
(when (= perspc 1)
|
|
|
|
(user-error "No other workspaces"))
|
|
|
|
(+workspace/switch-to (% (+ index n) perspc))
|
|
|
|
(unless (called-interactively-p 'interactive)
|
|
|
|
(+workspace/display)))
|
|
|
|
('user-error (+workspace-error (cadr ex) t))
|
|
|
|
('error (+workspace-error ex t))))))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
2017-04-08 23:28:06 -04:00
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/switch-left () (interactive) (+workspace/cycle -1))
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/switch-right () (interactive) (+workspace/cycle +1))
|
|
|
|
|
2017-02-04 03:21:04 -05:00
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace/close-window-or-workspace ()
|
|
|
|
"Close the selected window. If it's the last window in the workspace, close
|
|
|
|
the workspace and move to the next."
|
2017-02-04 03:21:04 -05:00
|
|
|
(interactive)
|
2017-02-08 01:54:24 -05:00
|
|
|
(if (doom-popup-p)
|
|
|
|
(doom/popup-close)
|
|
|
|
(let ((current-persp-name (+workspace-current-name)))
|
2017-04-10 18:21:42 -04:00
|
|
|
(cond ((or (+workspace-protected-p current-persp-name)
|
2017-02-21 00:43:51 -05:00
|
|
|
(> (length (doom-visible-windows)) 1))
|
2017-02-11 00:52:25 -05:00
|
|
|
(if (bound-and-true-p evil-mode)
|
|
|
|
(evil-window-delete)
|
|
|
|
(delete-window)))
|
2017-02-08 01:54:24 -05:00
|
|
|
((> (length (+workspace-list)) 1)
|
2017-02-19 18:40:39 -05:00
|
|
|
(+workspace/delete current-persp-name))))))
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
|
|
|
|
;;
|
|
|
|
;; Tabs display in minibuffer
|
|
|
|
;;
|
|
|
|
|
|
|
|
(defun +workspace--tabline (&optional names)
|
|
|
|
(let ((names (or names (+workspace-list)))
|
2017-06-08 11:47:56 +02:00
|
|
|
(current-name (+workspace-current-name)))
|
2017-02-19 18:40:39 -05:00
|
|
|
(mapconcat
|
2017-04-17 02:17:10 -04:00
|
|
|
#'identity
|
2017-06-08 11:47:56 +02:00
|
|
|
(cl-loop for name in names
|
|
|
|
for i to (length names)
|
|
|
|
collect
|
|
|
|
(propertize (format " [%d] %s " i name)
|
|
|
|
'face (if (equal current-name name)
|
|
|
|
'+workspace-tab-selected-face
|
|
|
|
'+workspace-tab-face)))
|
2017-02-19 18:40:39 -05:00
|
|
|
" ")))
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
(defun +workspace--message-body (message &optional type)
|
|
|
|
(concat (+workspace--tabline)
|
2017-02-19 18:40:39 -05:00
|
|
|
(propertize " | " 'face 'font-lock-comment-face)
|
|
|
|
(propertize (format "%s" message)
|
|
|
|
'face (pcase type
|
|
|
|
('error 'error)
|
|
|
|
('warn 'warning)
|
|
|
|
('success 'success)
|
|
|
|
('info 'font-lock-comment-face)))))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-message (message &optional type)
|
2017-02-21 03:45:24 -05:00
|
|
|
"Show an 'elegant' message in the echo area next to a listing of workspaces."
|
2017-02-08 01:54:24 -05:00
|
|
|
(message "%s" (+workspace--message-body message type)))
|
2017-02-04 03:21:04 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
2017-02-08 01:54:24 -05:00
|
|
|
(defun +workspace-error (message &optional noerror)
|
2017-02-21 03:45:24 -05:00
|
|
|
"Show an 'elegant' error in the echo area next to a listing of workspaces."
|
2017-04-17 02:17:10 -04:00
|
|
|
(funcall (if noerror #'message #'error) "%s" (+workspace--message-body message 'error)))
|
2017-02-08 01:54:24 -05:00
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun +workspace/display ()
|
2017-02-21 03:45:24 -05:00
|
|
|
"Display a list of workspaces (like tabs) in the echo area."
|
2017-02-04 03:21:04 -05:00
|
|
|
(interactive)
|
2017-02-08 01:54:24 -05:00
|
|
|
(message "%s" (+workspace--tabline)))
|
|
|
|
|