[nongnu] elpa/idris-mode 723e778486 04/12: Fix indentation in documentation for `idris-semantic-source-highlighting`

[ELPA Syncer]

branch: elpa/idris-mode
commit 723e77848638189ea4f80832fef9acb7bcd27f13
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Fix indentation in documentation for `idris-semantic-source-highlighting`
---
 idris-settings.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/idris-settings.el b/idris-settings.el
index 4eabb7c5ac..6d56629e4b 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -66,8 +66,8 @@
 
 (defcustom idris-semantic-source-highlighting t
   "If non-nil, use the Idris compiler's semantic source
-information to highlight Idris code. If `debug', log failed
-  highlighting to buffer `*Messages*'."
+information to highlight Idris code.
+If `debug', log failed highlighting to buffer `*Messages*'."
   :group 'idris
   :type '(choice (boolean :tag "Enable")
                  (const :tag "Debug" debug)))
@@ -299,10 +299,10 @@ Set to `nil' for no banner."
   "File to save the persistent REPL history to.
 
 By default we assume Idris' default configuration home is:
- 
+
   $HOME/.idris/idris-history.eld.
-     
-If you have installed/configured Idris differently, or are 
+
+If you have installed/configured Idris differently, or are
 using Idris2, then you may wish to customise this variable."
 
   :type 'string