branch: elpa/idris-mode
commit d01b47c972bd769d31d5af75370cb6c4f3d9473b
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@gmail.com>
Apply minor documentation improvements
---
idris-keys.el | 7 +++++--
idris-simple-indent.el | 3 ++-
idris-warnings-tree.el | 3 ++-
3 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/idris-keys.el b/idris-keys.el
index e639373382..15186857d9 100644
--- a/idris-keys.el
+++ b/idris-keys.el
@@ -23,8 +23,9 @@
;; the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
;; Boston, MA 02111-1307, USA.
-;;; We don't need to (require 'idris-commands) because the RHS of keybindings
-;;; is always just a quoted symbol
+;;; Commentary:
+;; We don't need to (require 'idris-commands) because the RHS of keybindings
+;; is always just a quoted symbol
;;; Code:
@@ -119,3 +120,5 @@
"h" 'idris-docs-at-point)))
(provide 'idris-keys)
+
+;;; idris-keys.el ends here
diff --git a/idris-simple-indent.el b/idris-simple-indent.el
index 22c15b978c..0bdb54091a 100644
--- a/idris-simple-indent.el
+++ b/idris-simple-indent.el
@@ -84,7 +84,8 @@ Takes into account literate Idris syntax."
(length (match-string 0))))
(defun idris-simple-indent-indent-line-to (column)
- "Just like `indent-line-to`, but ignoring the leading > for literate Idris."
+ "Indent current line to COLUMN.
+Just like `indent-line-to', but ignoring the leading > for literate Idris."
(if (idris-lidr-p)
(if (save-excursion (move-to-column 0) (looking-at ">")) ;; lidr code
line - look out for >
(progn
diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
index 999fb49aac..853e4c784d 100644
--- a/idris-warnings-tree.el
+++ b/idris-warnings-tree.el
@@ -85,7 +85,7 @@
"Keymap used in Idris Compiler Notes mode.")
(easy-menu-define idris-compiler-notes-mode-menu idris-compiler-notes-mode-map
- "Menu for Idris compiler notes buffers"
+ "Menu for Idris compiler notes buffers."
`("Idris Notes"
["Show term interaction widgets" idris-add-term-widgets t]
["Close Idris info buffer" idris-notes-quit t]))
@@ -280,3 +280,4 @@ This is used for labels spanning multiple lines."
(goto-char start-mark)))
(provide 'idris-warnings-tree)
+;;; idris-warnings-tree.el ends here
