branch: elpa/idris-mode
commit c827e4cdd6b3774e29ee58eac73463c2772767be
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Simplify `idris-log-events` by making the difference
in code flow smaller and more obvious.
---
idris-events.el | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/idris-events.el b/idris-events.el
index cd4e319ec1..f6040c2ef9 100644
--- a/idris-events.el
+++ b/idris-events.el
@@ -51,12 +51,10 @@ The event is only logged if `idris-log-events' is non-nil."
(when idris-log-events
(with-current-buffer (idris-events-buffer)
(goto-char (point-max))
- (let ((buffer-read-only nil)
- (time (format-time-string "%H:%M:%S")))
+ (let ((buffer-read-only nil))
(save-excursion
- (if sending
- (insert (concat time " -> "))
- (insert (concat time " <- ")))
+ (insert (concat (format-time-string "%H:%M:%S")
+ (if sending " -> " " <- ")))
(idris-pprint-event event (current-buffer))))
(goto-char (point-max)))))
