patch 8.1.2243: typos in comments
Problem: Typos in comments.
Solution: Fix the typos. (Dominique Pelle, closes #5160) Also adjust
formatting a bit.
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 1bf836f..d57cefa 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -2895,7 +2895,7 @@
*
* Naturally, configure events propagated to here like that are fallacious
* and, as a matter of fact, they trigger a geometric collapse of
- * gui.drawarea in fullscreen and miximized modes.
+ * gui.drawarea in fullscreen and maximized modes.
*
* To filter out such nuisance events, we are making use of the fact that
* the field send_event of such GdkEventConfigures is set to FALSE in