Closed keram closed 1 year ago
Why: This will reduce work we need to do ourself. (Setting the buffer as read only and adding q for quit the buffer)
q
Special mode is a basic major mode for buffers containing text that is produced specially by Emacs, rather than directly from a file. Special mode sets the buffer to read-only. Its keymap defines several common bindings, including q for quit-window and g for revert-buffer. https://www.gnu.org/software/emacs/manual/html_node/elisp/Basic-Major-Modes.html#index-special_002dmode
Special mode is a basic major mode for buffers containing text that is produced specially by Emacs, rather than directly from a file.
Special mode sets the buffer to read-only. Its keymap defines several common bindings, including q for quit-window and g for revert-buffer. https://www.gnu.org/software/emacs/manual/html_node/elisp/Basic-Major-Modes.html#index-special_002dmode
This is first attempt to inherit from special-mode for idris read only buffers. Next candidates are: idris-info-mode, idris-log-mode and idris-compiler-notes-mode
special-mode
Why: This will reduce work we need to do ourself. (Setting the buffer as read only and adding
q
for quit the buffer)This is first attempt to inherit from
special-mode
for idris read only buffers. Next candidates are: idris-info-mode, idris-log-mode and idris-compiler-notes-mode