patch 8.2.4928: various white space and cosmetic mistakes
Problem: Various white space and cosmetic mistakes.
Solution: Change spaces to tabs, improve comments.
diff --git a/src/ui.c b/src/ui.c
index a6cee80..08664bf 100644
--- a/src/ui.c
+++ b/src/ui.c
@@ -199,10 +199,10 @@
* while (not timed out)
* {
* if (any-timer-triggered)
- * invoke-timer-callback;
+ * invoke-timer-callback;
* wait-for-character();
* if (character available)
- * break;
+ * break;
* }
*
* wait-for-character() does:
@@ -210,13 +210,13 @@
* {
* Wait for event;
* if (something on channel)
- * read/write channel;
- * else if (resized)
- * handle_resize();
- * else if (system event)
- * deal-with-system-event;
- * else if (character available)
- * break;
+ * read/write channel;
+ * else if (resized)
+ * handle_resize();
+ * else if (system event)
+ * deal-with-system-event;
+ * else if (character available)
+ * break;
* }
*
*/