From babb6b0c1adad766783dfcb9194fbc40d492b7e2 Mon Sep 17 00:00:00 2001
From: David Griffith <dave@661.org>
Date: Thu, 25 May 2023 00:23:20 -0700
Subject: [PATCH] Adjusted blank lines in DOS interface code.

---
 src/dos/dosinit.c  | 4 ++++
 src/dos/dosinput.c | 6 +++---
 src/dos/dosmouse.c | 4 +---
 src/dos/dospic.c   | 2 +-
 src/dos/dossampl.c | 4 ++++
 src/dos/dostext.c  | 8 +++++++-
 6 files changed, 20 insertions(+), 8 deletions(-)

diff --git a/src/dos/dosinit.c b/src/dos/dosinit.c
index 7533097..1b38ffc 100644
--- a/src/dos/dosinit.c
+++ b/src/dos/dosinit.c
@@ -105,6 +105,7 @@ static bool test_enhanced_keyboard(unsigned char b)
 	return b == regs.h.al;
 }
 
+
 /*
  * os_init_setup
  *
@@ -276,6 +277,7 @@ void os_warn (const char *s, ...)
 	return;
 } /* os_warn */
 
+
 /*
  * os_fatal
  *
@@ -397,6 +399,7 @@ static void parse_options(int argc, char **argv)
 
 } /* parse_options */
 
+
 static char *malloc_filename(char *story_name, char *extension)
 {
 	int length = strlen(story_name) + strlen(extension) + 2;
@@ -408,6 +411,7 @@ static char *malloc_filename(char *story_name, char *extension)
 	return filename;
 }
 
+
 /*
  * os_process_arguments
  *
diff --git a/src/dos/dosinput.c b/src/dos/dosinput.c
index 17c7fd0..e9a10e8 100644
--- a/src/dos/dosinput.c
+++ b/src/dos/dosinput.c
@@ -65,6 +65,7 @@ static bool overwrite = FALSE;
 
 volatile int end_of_sound_flag;
 
+
 /*
  * swap_colours
  *
@@ -482,9 +483,9 @@ static void input_move(zchar newc, zchar oldc)
 	if (newc != 0)
 		cursor_right();
 } /* input_move */
-
 #undef H
 
+
 /*
  * delete_char
  *
@@ -745,7 +746,6 @@ no_further:
  * to implement word completion (similar to tcsh under Unix).
  *
  */
-
 #define new_history_search() \
     { history.prefix_len = input.pos; history.current = history.latest; }
 
@@ -834,6 +834,7 @@ zchar os_read_line(int max, zchar *buf, int timeout, int width, int continued)
 #undef new_history_search()
 #endif
 
+
 /*
  * os_read_key
  *
@@ -875,7 +876,6 @@ zchar os_read_key(int timeout, bool cursor)
  * print_string and read_string to ask for a file name.
  *
  */
-
 char *os_read_file_name (const char *default_name, int flag)
 {
 	char *extension;
diff --git a/src/dos/dosmouse.c b/src/dos/dosmouse.c
index 35c2318..317890a 100644
--- a/src/dos/dosmouse.c
+++ b/src/dos/dosmouse.c
@@ -23,6 +23,7 @@
 #include "frotz.h"
 #include "dosfrotz.h"
 
+
 /*
  * detect_mouse
  *
@@ -38,7 +39,6 @@ bool detect_mouse(void)
 	asm int 0x33
 	return _AX;
 #endif
-
 } /* detect_mouse */
 
 
@@ -86,7 +86,6 @@ int read_mouse(void)
 		mouse_x = _CX;
 		mouse_y = _DX;
 #endif
-
 		if (display <= _TEXT_) {
 			mouse_x /= 8;
 			mouse_y /= 8;
@@ -98,7 +97,6 @@ int read_mouse(void)
 		mouse_x++;
 		mouse_y++;
 	}
-
 	/* Return single or double click */
 	return click;
 } /* read_mouse */
diff --git a/src/dos/dospic.c b/src/dos/dospic.c
index d1707f4..0568651 100644
--- a/src/dos/dospic.c
+++ b/src/dos/dospic.c
@@ -85,6 +85,7 @@ static byte _huge *info = NULL;
 static byte far *info = NULL;
 #endif
 
+
 /*
  * open_graphics_file
  *
@@ -772,7 +773,6 @@ int os_peek_colour(void)
  * pictures and the release number instead.
  *
  */
-
 bool os_picture_data(int picture, int *height, int *width)
 {
 	bool avail;
diff --git a/src/dos/dossampl.c b/src/dos/dossampl.c
index d2ce5d2..a539fc2 100644
--- a/src/dos/dossampl.c
+++ b/src/dos/dossampl.c
@@ -64,6 +64,7 @@ static long sample_adr2 = 0;
 static word sample_len1 = 0;
 static word sample_len2 = 0;
 
+
 /*
  * start_of_dma
  *
@@ -228,6 +229,7 @@ void dos_reset_sound(void)
 
 } /* dos_reset_sound */
 
+
 /*
  * os_init_sound
  *
@@ -391,6 +393,7 @@ void os_finish_with_sample(int UNUSED(id))
 	os_stop_sample(0);	/* we keep 64KB allocated all the time */
 } /* os_finish_with_sample */
 
+
 #else /* NO_SOUND */
 
 /* Do-nothing stubs for when sound support is disabled. */
@@ -405,6 +408,7 @@ bool dos_init_sound(void) { return TRUE; }
 
 #endif /* NO_SOUND */
 
+
 /*
  * os_beep
  *
diff --git a/src/dos/dostext.c b/src/dos/dostext.c
index 193048f..ca93545 100644
--- a/src/dos/dostext.c
+++ b/src/dos/dostext.c
@@ -89,6 +89,7 @@ static byte _far *graphics_font = NULL;
 
 static char name[] = "FONTS/FONT0.FNT";
 
+
 /*
  * available_bios
  *
@@ -134,6 +135,7 @@ static int available_bios(void)
 
 }
 
+
 /*
  * set_user_tfont
  *
@@ -186,6 +188,7 @@ static void set_user_gfont(word offset, word height)
 	}
 }
 
+
 /*
  * read_font
  *
@@ -204,6 +207,7 @@ static void read_font(word offset, size_t nmemb)
 	}
 }
 
+
 /*
  * load_fonts
  *
@@ -606,7 +610,8 @@ void write_pattern(volatile byte _far * screen, byte val, byte mask)
  * indentation). The screen should not be scrolled after printing to the
  * bottom right corner.
  *
- */ void os_display_char(zchar c)
+ */
+void os_display_char(zchar c)
 {
 	int width = os_char_width(c);
 
@@ -998,6 +1003,7 @@ int os_from_true_colour(zword colour)
 	return 0;
 }
 
+
 /*
  * os_to_true_colour
  *
-- 
2.34.1