Convert bcinput.c to K&R style.
authorDavid Griffith <dave@661.org>
Mon, 23 Sep 2019 20:10:07 +0000 (13:10 -0700)
committerDavid Griffith <dave@661.org>
Tue, 24 Sep 2019 01:03:23 +0000 (18:03 -0700)
There may be trouble down the line.  When I tried to apply
"indent -linux" on this file, I got these error messages:
    indent: bcinput.c:324: Error:Stmt nesting error.
    indent: bcinput.c:1047: Error:Unexpected end of file
I then did the reindentation by hand.

src/dos/bcinput.c

index a5fbf73f27bddc2fb2aee2f4fc3a67ebbddec986..79b7c8681d31fc15d080ec413085fbff49e1f616 100644 (file)
@@ -39,19 +39,19 @@ extern int completion (const zchar *, zchar *);
 static long limit = 0;
 
 static struct {
-    zchar buffer[HISTORY_BUFSIZE];
-    int latest;
-    int current;
-    int prefix_len;
+       zchar buffer[HISTORY_BUFSIZE];
+       int latest;
+       int current;
+       int prefix_len;
 } history;
 
 static struct {
-    zchar *buffer;
-    int pos;
-    int length;
-    int max_length;
-    int width;
-    int max_width;
+       zchar *buffer;
+       int pos;
+       int length;
+       int max_length;
+       int width;
+       int max_width;
 } input;
 
 static bool overwrite = FALSE;
@@ -65,8 +65,7 @@ int end_of_sound_flag;
  * current background and foreground colours.
  *
  */
-
-static void swap_colours (void)
+static void swap_colours(void)
 {
     byte temp;
 
@@ -74,7 +73,8 @@ static void swap_colours (void)
     text_fg = text_bg;
     text_bg = temp;
 
-}/* swap_colours */
+} /* swap_colours */
+
 
 /*
  * switch_cursor
@@ -85,50 +85,43 @@ static void swap_colours (void)
  * visible (because of the primitive cursor emulation we use here).
  *
  */
-
-static void switch_cursor (bool cursor)
+static void switch_cursor(bool cursor)
 {
+       if (display <= _TEXT_) {
+               /* Use hardware cursor in text mode */
+               if (display == _MONO_)
+                       _CX = overwrite ? 0x080f : 0x0a0b;
+               else
+                       _CX = overwrite ? 0x0408 : 0x0506;
+
+               if (!cursor)
+                       _CX = 0xffff;
+
+               asm mov ah,2
+               asm mov bh,0
+               asm mov dh,byte ptr cursor_y
+               asm mov dl,byte ptr cursor_x
+               asm int 0x10
+               asm mov ah,1
+               asm int 0x10
+       } else {
+               int saved_x = cursor_x;
 
-    if (display <= _TEXT_) {
-
-       /* Use hardware cursor in text mode */
-
-       if (display == _MONO_)
-           _CX = overwrite ? 0x080f : 0x0a0b;
-       else
-           _CX = overwrite ? 0x0408 : 0x0506;
-
-       if (!cursor)
-           _CX = 0xffff;
-
-       asm mov ah,2
-       asm mov bh,0
-       asm mov dh,byte ptr cursor_y
-       asm mov dl,byte ptr cursor_x
-       asm int 0x10
-       asm mov ah,1
-       asm int 0x10
-
-    } else {
-
-       int saved_x = cursor_x;
-
-       if (cursor)
-           swap_colours ();
-
-       if (input.pos < input.length)
-           os_display_char (input.buffer[input.pos]);
-       else
-           os_display_char (' ');
+               if (cursor)
+                       swap_colours();
 
-       if (cursor)
-           swap_colours ();
+               if (input.pos < input.length)
+                       os_display_char(input.buffer[input.pos]);
+               else
+                       os_display_char(' ');
 
-       cursor_x = saved_x;
+               if (cursor)
+                       swap_colours();
 
-    }
+               cursor_x = saved_x;
+       }
+} /* switch_cursor */
 
-}/* switch_cursor */
 
 /*
  * get_current_time
@@ -136,25 +129,24 @@ static void switch_cursor (bool cursor)
  * Return the current system time in 1/10 seconds.
  *
  */
-
-static long get_current_time (void)
+static long get_current_time(void)
 {
-    long time;
-
-    /* Get the current time of day measured in
-        65536 / 1,193,180 = 0.054925493
-       seconds. Multiply this value with
-        959 / 1746 = 0.54925544
-       to get the current time in 0.1 seconds. */
+       long time;
 
-    asm mov ah,0
-    asm int 0x1a
-    asm mov word ptr time,dx
-    asm mov word ptr time + 2,cx
+       /* Get the current time of day measured in
+        * 65536 / 1,193,180 = 0.054925493
+        * seconds. Multiply this value with
+        * 959 / 1746 = 0.54925544
+        * to get the current time in 0.1 seconds.
+        */
+       asm mov ah,0
+       asm int 0x1a
+       asm mov word ptr time,dx
+       asm mov word ptr time + 2,cx
 
-    return time * 959 / 1746;
+       return time * 959 / 1746;
+} /* get_current_time */
 
-}/* get_current_time */
 
 /*
  * set_timer
@@ -163,13 +155,11 @@ static long get_current_time (void)
  * otherwise clear the time limit.
  *
  */
-
-static void set_timer (int timeout)
+static void set_timer(int timeout)
 {
+       limit = (timeout != 0) ? get_current_time () + timeout : 0;
+} /* set_timer */
 
-    limit = (timeout != 0) ? get_current_time () + timeout : 0;
-
-}/* set_timer */
 
 /*
  * time_limit_hit
@@ -177,22 +167,20 @@ static void set_timer (int timeout)
  * Return true if a previously set time limit has been exceeded.
  *
  */
-
-static bool out_of_time (void)
+static bool out_of_time(void)
 {
-
-    if (limit != 0) {
-
-       long now = get_current_time ();
+       if (limit != 0) {
+               long now = get_current_time ();
 
        if (now < 1L * 3600 * 10 && limit > 23L * 3600 * 10)
-           now += 24L * 3600 * 10;
+               now += 24L * 3600 * 10;
 
-       return now >= limit;
+               return now >= limit;
+       } else
+               return FALSE;
 
-    } else return FALSE;
+} /* out_of_time */
 
-}/* out_of_time */
 
 /*
  * get_key
@@ -214,114 +202,105 @@ static bool out_of_time (void)
  *     SPECIAL_KEY_MIN...SPECIAL_KEY_MAX = a special editing key.
  *
  */
-
-static int get_key (bool cursor)
+static int get_key(bool cursor)
 {
-    static byte arrow_key_map[] = {
-       0x48, 0x50, 0x4b, 0x4d
-    };
-    static byte special_key_map[] = {
-       0x47, 0x4f, 0x73, 0x74, 0x53, 0x52, 0x49, 0x51, 0x0f
-    };
-    static byte hot_key_map[] = {
-       0x13, 0x19, 0x1f, 0x16, 0x31, 0x2d, 0x20, 0x23
-    };
-
-    int key;
+       static byte arrow_key_map[] = {0x48, 0x50, 0x4b, 0x4d};
+       static byte special_key_map[] = {0x47, 0x4f, 0x73, 0x74, 0x53,
+                                       0x52, 0x49, 0x51, 0x0f};
+       static byte hot_key_map[] = {0x13, 0x19, 0x1f, 0x16,
+                                    0x31, 0x2d, 0x20, 0x23};
 
-    /* Loop until a key was pressed */
+       int key;
 
-    if (cursor)
-       switch_cursor (TRUE);
+       /* Loop until a key was pressed */
+       if (cursor)
+               switch_cursor(TRUE);
 
-    if (h_flags & MOUSE_FLAG) {
-       asm mov ax,1
-       asm int 0x33
-    }
+       if (h_flags & MOUSE_FLAG) {
+               asm mov ax,1
+               asm int 0x33
+       }
 
-    do {
+       do {
 
 #ifdef SOUND_SUPPORT
-       if (end_of_sound_flag)
-           end_of_sound ();
+               if (end_of_sound_flag)
+                       end_of_sound();
 #endif
 
-       if (_bios_keybrd (_KEYBRD_READY)) {
-
-           word code = _bios_keybrd (_KEYBRD_READ);
-           byte code0 = code;
-           byte code1 = code >> 8;
-
-           if (code0 != 0 && code0 != 9) {
-
-               key = code0 - '0' + ZC_NUMPAD_MIN;
-               if (key >= ZC_NUMPAD_MIN && key <= ZC_NUMPAD_MAX
-                   && code1 >= 0x10)
-                   goto exit_loop;
-
-               for (key = ZC_LATIN1_MIN + 1; key <= ZC_LATIN1_MAX; key++)
-                   if (code0 == latin1_to_ibm[key - ZC_LATIN1_MIN])
-                       goto exit_loop;
-
-               key = code0;
-
-               if (key == ZC_BACKSPACE)
-                   goto exit_loop;
-               if (key == ZC_RETURN)
-                   goto exit_loop;
-               if (key == ZC_ESCAPE)
-                   goto exit_loop;
-               if (key >= ZC_ASCII_MIN && key <= ZC_ASCII_MAX)
-                   goto exit_loop;
-
-           } else {
-
-               for (key = ZC_ARROW_MIN; key <= ZC_ARROW_MAX; key++)
-                   if (code1 == arrow_key_map[key - ZC_ARROW_MIN])
-                       goto exit_loop;
-
-               key = code1 - 0x3b + ZC_FKEY_MIN;
-               if (key >= ZC_FKEY_MIN && key <= ZC_FKEY_MAX - 2)
-                   goto exit_loop;
-
-               for (key = ZC_HKEY_MIN; key <= ZC_HKEY_MAX; key++)
-                   if (code1 == hot_key_map[key - ZC_HKEY_MIN])
-                       goto exit_loop;
-
-               for (key = SPECIAL_KEY_MIN; key <= SPECIAL_KEY_MAX; key++)
-                   if (code1 == special_key_map[key - SPECIAL_KEY_MIN])
-                       goto exit_loop;
-
-           }
-
-       } else {
-
-           int clicks = read_mouse ();
-
-           if (clicks == 1)
-               { key = ZC_SINGLE_CLICK; goto exit_loop; }
-           if (clicks == 2)
-               { key = ZC_DOUBLE_CLICK; goto exit_loop; }
-
-       }
-
-       key = ZC_TIME_OUT;
-
-    } while (!out_of_time ());
+               if (_bios_keybrd(_KEYBRD_READY)) {
+                       word code = _bios_keybrd(_KEYBRD_READ);
+                       byte code0 = code;
+                       byte code1 = code >> 8;
+
+                       if (code0 != 0 && code0 != 9) {
+                               key = code0 - '0' + ZC_NUMPAD_MIN;
+                               if (key >= ZC_NUMPAD_MIN && key <= ZC_NUMPAD_MAX && code1 >= 0x10)
+                                       goto exit_loop;
+
+                               for (key = ZC_LATIN1_MIN + 1; key <= ZC_LATIN1_MAX; key++) {
+                                       if (code0 == latin1_to_ibm[key - ZC_LATIN1_MIN])
+                                               goto exit_loop;
+                               }
+                               key = code0;
+
+                               if (key == ZC_BACKSPACE)
+                                       goto exit_loop;
+                               if (key == ZC_RETURN)
+                                       goto exit_loop;
+                               if (key == ZC_ESCAPE)
+                                       goto exit_loop;
+                               if (key >= ZC_ASCII_MIN && key <= ZC_ASCII_MAX)
+                                       goto exit_loop;
+                       } else {
+                               for (key = ZC_ARROW_MIN; key <= ZC_ARROW_MAX; key++) {
+                                       if (code1 == arrow_key_map[key - ZC_ARROW_MIN])
+                                               goto exit_loop;
+                               }
+
+                               key = code1 - 0x3b + ZC_FKEY_MIN;
+                               if (key >= ZC_FKEY_MIN && key <= ZC_FKEY_MAX - 2)
+                                       goto exit_loop;
+
+                               for (key = ZC_HKEY_MIN; key <= ZC_HKEY_MAX; key++) {
+                                       if (code1 == hot_key_map[key - ZC_HKEY_MIN])
+                                               goto exit_loop;
+                               }
+
+                               for (key = SPECIAL_KEY_MIN; key <= SPECIAL_KEY_MAX; key++) {
+                                       if (code1 == special_key_map[key - SPECIAL_KEY_MIN])
+                                               goto exit_loop;
+                               }
+                       }
+               } else {
+                       int clicks = read_mouse ();
+
+                       if (clicks == 1) {
+                               key = ZC_SINGLE_CLICK;
+                               goto exit_loop;
+                       }
+                       if (clicks == 2) {
+                               key = ZC_DOUBLE_CLICK;
+                               goto exit_loop;
+                       }
+               }
+
+               key = ZC_TIME_OUT;
+       } while (!out_of_time());
 
 exit_loop:
 
-    if (h_flags & MOUSE_FLAG) {
-       asm mov ax,2
-       asm int 0x33
-    }
+       if (h_flags & MOUSE_FLAG) {
+               asm mov ax,2
+               asm int 0x33
+       }
 
-    if (cursor)
-       switch_cursor (FALSE);
+       if (cursor)
+               switch_cursor(FALSE);
 
-    return key;
+       return key;
+} /* get_key */
 
-}/* get_key */
 
 /*
  * cursor_left
@@ -329,14 +308,12 @@ exit_loop:
  * Move the cursor one character to the left.
  *
  */
-
-static void cursor_left (void)
+static void cursor_left(void)
 {
+       if (input.pos > 0)
+               cursor_x -= os_char_width(input.buffer[--input.pos]);
+} /* cursor_left */
 
-    if (input.pos > 0)
-       cursor_x -= os_char_width (input.buffer[--input.pos]);
-
-}/* cursor_left */
 
 /*
  * cursor_right
@@ -344,14 +321,12 @@ static void cursor_left (void)
  * Move the cursor one character to the right.
  *
  */
-
-static void cursor_right (void)
+static void cursor_right(void)
 {
+       if (input.pos < input.length)
+               cursor_x += os_char_width(input.buffer[input.pos++]);
+} /* cursor_right */
 
-    if (input.pos < input.length)
-       cursor_x += os_char_width (input.buffer[input.pos++]);
-
-}/* cursor_right */
 
 /*
  * first_char
@@ -359,14 +334,12 @@ static void cursor_right (void)
  * Move the cursor to the beginning of the input line.
  *
  */
-
-static void first_char (void)
+static void first_char(void)
 {
+       while (input.pos > 0)
+               cursor_left();
+} /* first_char */
 
-    while (input.pos > 0)
-       cursor_left ();
-
-}/* first_char */
 
 /*
  * last_char
@@ -374,14 +347,13 @@ static void first_char (void)
  * Move the cursor to the end of the input line.
  *
  */
-
-static void last_char (void)
+static void last_char(void)
 {
+       while (input.pos < input.length)
+               cursor_right();
 
-    while (input.pos < input.length)
-       cursor_right ();
+} /* last_char */
 
-}/* last_char */
 
 /*
  * prev_word
@@ -389,20 +361,15 @@ static void last_char (void)
  * Move the cursor to the start of the previous word.
  *
  */
-
-static void prev_word (void)
+static void prev_word(void)
 {
+       do {
+               cursor_left();
+               if (input.pos == 0)
+                       return;
+       } while (input.buffer[input.pos] == ' ' || input.buffer[input.pos - 1] != ' ');
+} /* prev_word */
 
-    do {
-
-       cursor_left ();
-
-       if (input.pos == 0)
-           return;
-
-    } while (input.buffer[input.pos] == ' ' || input.buffer[input.pos - 1] != ' ');
-
-}/* prev_word */
 
 /*
  * next_word
@@ -410,20 +377,15 @@ static void prev_word (void)
  * Move the cursor to the start of the next word.
  *
  */
-
-static void next_word (void)
+static void next_word(void)
 {
+       do {
+               cursor_right();
+               if (input.pos == input.length)
+                       return;
+       } while (input.buffer[input.pos] == ' ' || input.buffer[input.pos - 1] != ' ');
+} /* next_word */
 
-    do {
-
-       cursor_right ();
-
-       if (input.pos == input.length)
-           return;
-
-    } while (input.buffer[input.pos] == ' ' || input.buffer[input.pos - 1] != ' ');
-
-}/* next_word */
 
 /*
  * input_move
@@ -436,74 +398,71 @@ static void next_word (void)
  *    newc == 0, oldc == 0: NO OPERATION
  *
  */
-
 #define H(x) (x ? 1 : 0)
-
-static void input_move (zchar newc, zchar oldc)
+static void input_move(zchar newc, zchar oldc)
 {
-    int newwidth = (newc != 0) ? os_char_width (newc) : 0;
-    int oldwidth = (oldc != 0) ? os_char_width (oldc) : 0;
-
-    zchar *p = input.buffer + input.pos;
+       int newwidth = (newc != 0) ? os_char_width(newc) : 0;
+       int oldwidth = (oldc != 0) ? os_char_width(oldc) : 0;
 
-    int saved_x = cursor_x;
+       zchar *p = input.buffer + input.pos;
 
-    int updated_width = input.width + newwidth - oldwidth;
-    int updated_length = input.length + H (newc) - H (oldc);
+       int saved_x = cursor_x;
 
-    if (updated_width > input.max_width)
-       return;
-    if (updated_length > input.max_length)
-       return;
+       int updated_width = input.width + newwidth - oldwidth;
+       int updated_length = input.length + H (newc) - H (oldc);
 
-    input.width = updated_width;
-    input.length = updated_length;
+       if (updated_width > input.max_width)
+               return;
+       if (updated_length > input.max_length)
+               return;
 
-    if (oldc != 0 && newc == 0)
-       memmove (p, p + 1, updated_length - input.pos + 1);
-    if (newc != 0 && oldc == 0)
-       memmove (p + 1, p, updated_length - input.pos);
+       input.width = updated_width;
+       input.length = updated_length;
 
-    if (newc != 0)
-       *p = newc;
+       if (oldc != 0 && newc == 0)
+               memmove(p, p + 1, updated_length - input.pos + 1);
+       if (newc != 0 && oldc == 0)
+               memmove(p + 1, p, updated_length - input.pos);
 
-    os_display_string (p);
+       if (newc != 0)
+               *p = newc;
 
-    switch_scrn_attr (TRUE);
+       os_display_string(p);
 
-    if (oldwidth > newwidth)
+       switch_scrn_attr(TRUE);
 
-       os_erase_area (
-           cursor_y + 1,
-           cursor_x + 1,
-           cursor_y + h_font_height,
-           cursor_x + oldwidth - newwidth,
-           -1);
+       if (oldwidth > newwidth) {
+               os_erase_area (
+                   cursor_y + 1,
+                   cursor_x + 1,
+                   cursor_y + h_font_height,
+                   cursor_x + oldwidth - newwidth,
+                   -1);
+       }
 
-    switch_scrn_attr (FALSE);
+       switch_scrn_attr(FALSE);
 
-    cursor_x = saved_x;
+       cursor_x = saved_x;
 
-    if (newc != 0)
-       cursor_right ();
+       if (newc != 0)
+               cursor_right();
+} /* input_move */
 
-}/* input_move */
 
 #undef H(x)
 
+
 /*
  * delete_char
  *
  * Delete the character below the cursor.
  *
  */
-
-static void delete_char (void)
+static void delete_char(void)
 {
+       input_move (0, input.buffer[input.pos]);
+} /* delete_char */
 
-    input_move (0, input.buffer[input.pos]);
-
-}/* delete_char */
 
 /*
  * delete_left
@@ -511,16 +470,14 @@ static void delete_char (void)
  * Delete the character to the left of the cursor.
  *
  */
-
-static void delete_left (void)
+static void delete_left(void)
 {
+       if (input.pos > 0) {
+               cursor_left();
+               delete_char();
+       }
+} /* delete_left */
 
-    if (input.pos > 0) {
-       cursor_left ();
-       delete_char ();
-    }
-
-}/* delete_left */
 
 /*
  * truncate_line
@@ -528,16 +485,13 @@ static void delete_left (void)
  * Truncate the input line to n characters.
  *
  */
-
-static void truncate_line (int n)
+static void truncate_line(int n)
 {
+       last_char();
+       while (input.length > n)
+               delete_left();
+} /* truncate_line */
 
-    last_char ();
-
-    while (input.length > n)
-       delete_left ();
-
-}/* truncate_line */
 
 /*
  * insert_char
@@ -545,17 +499,16 @@ static void truncate_line (int n)
  * Insert a character into the input buffer.
  *
  */
-
-static void insert_char (zchar newc)
+static void insert_char(zchar newc)
 {
-    zchar oldc = 0;
+       zchar oldc = 0;
 
-    if (overwrite)
-       oldc = input.buffer[input.pos];
+       if (overwrite)
+               oldc = input.buffer[input.pos];
 
-    input_move (newc, oldc);
+       input_move(newc, oldc);
+} /* insert_char */
 
-}/* insert_char */
 
 /*
  * insert_string
@@ -563,22 +516,17 @@ static void insert_char (zchar newc)
  * Add a string of characters to the input line.
  *
  */
-
-static void insert_string (const zchar *s)
+static void insert_string(const zchar *s)
 {
+       while (*s != 0) {
+               if (input.length + 1 > input.max_length)
+                       break;
+               if (input.width + os_char_width (*s) > input.max_width)
+                       break;
+               insert_char (*s++);
+       }
+} /* insert_string */
 
-    while (*s != 0) {
-
-       if (input.length + 1 > input.max_length)
-           break;
-       if (input.width + os_char_width (*s) > input.max_width)
-           break;
-
-       insert_char (*s++);
-
-    }
-
-}/* insert_string */
 
 /*
  * tabulator_key
@@ -586,26 +534,23 @@ static void insert_string (const zchar *s)
  * Complete the word at the end of the input line, if possible.
  *
  */
-
-static void tabulator_key (void)
+static void tabulator_key(void)
 {
-    int status;
-
-    if (input.pos == input.length) {
-
-       zchar extension[10];
+       int status;
 
-       status = completion (input.buffer, extension);
-       insert_string (extension);
+       if (input.pos == input.length) {
+               zchar extension[10];
 
-    } else status = 2;
+               status = completion(input.buffer, extension);
+               insert_string(extension);
+       } else
+               status = 2;
 
-    /* Beep if the completion was impossible or ambiguous */
+       /* Beep if the completion was impossible or ambiguous */
+       if (status != 0)
+               os_beep(status);
+} /* tabulator_key */
 
-    if (status != 0)
-       os_beep (status);
-
-}/* tabulator_key */
 
 /*
  * store_input
@@ -613,26 +558,22 @@ static void tabulator_key (void)
  * Copy the current input line to the history buffer.
  *
  */
-
-static void store_input (void)
+static void store_input(void)
 {
+       if (input.length >= HISTORY_MIN_ENTRY) {
 
-    if (input.length >= HISTORY_MIN_ENTRY) {
-
-       const zchar *ptr = input.buffer;
-
-       do {
-
-           if (history.latest++ == HISTORY_BUFSIZE - 1)
-               history.latest = 0;
+               const zchar *ptr = input.buffer;
 
-           history.buffer[history.latest] = *ptr;
+               do {
+                       if (history.latest++ == HISTORY_BUFSIZE - 1)
+                               history.latest = 0;
 
-       } while (*ptr++ != 0);
+                       history.buffer[history.latest] = *ptr;
 
-    }
+               } while (*ptr++ != 0);
+       }
+} /* store_input */
 
-}/* store_input */
 
 /*
  * fetch_entry
@@ -641,30 +582,26 @@ static void store_input (void)
  * matches the prefix in the input buffer.
  *
  */
-
-static bool fetch_entry (zchar *buf, int entry)
+static bool fetch_entry(zchar *buf, int entry)
 {
-    int i = 0;
-
-    zchar c;
-
-    do {
-
-       if (entry++ == HISTORY_BUFSIZE - 1)
-           entry = 0;
+       int i = 0;
+       zchar c;
 
-       c = history.buffer[entry];
+       do {
+               if (entry++ == HISTORY_BUFSIZE - 1)
+                       entry = 0;
 
-       if (i < history.prefix_len && input.buffer[i] != c)
-           return FALSE;
+               c = history.buffer[entry];
 
-       buf[i++] = c;
+               if (i < history.prefix_len && input.buffer[i] != c)
+                       return FALSE;
 
-    } while (c != 0);
+               buf[i++] = c;
+       } while (c != 0);
 
-    return (i > history.prefix_len) && (i > 1);
+       return (i > history.prefix_len) && (i > 1);
+} /* fetch_entry */
 
-}/* fetch_entry */
 
 /*
  * get_prev_entry
@@ -672,34 +609,29 @@ static bool fetch_entry (zchar *buf, int entry)
  * Copy the previous history entry to the input buffer.
  *
  */
-
-static void get_prev_entry (void)
+static void get_prev_entry(void)
 {
-    zchar buf[INPUT_BUFFER_SIZE];
-
-    int i = history.current;
+       zchar buf[INPUT_BUFFER_SIZE];
 
-    do {
+       int i = history.current;
 
        do {
+               do {
+                       if (i-- == 0)
+                               i = HISTORY_BUFSIZE - 1;
 
-           if (i-- == 0)
-               i = HISTORY_BUFSIZE - 1;
-
-           if (i == history.latest)
-               return;
-
-       } while (history.buffer[i] != 0);
+                       if (i == history.latest)
+                               return;
 
-    } while (!fetch_entry (buf, i));
+               } while (history.buffer[i] != 0);
 
-    truncate_line (history.prefix_len);
+       } while (!fetch_entry(buf, i));
 
-    insert_string (buf + history.prefix_len);
+       truncate_line(history.prefix_len);
+       insert_string(buf + history.prefix_len);
+       history.current = i;
+} /* get_prev_entry */
 
-    history.current = i;
-
-}/* get_prev_entry */
 
 /*
  * get_next_entry
@@ -707,39 +639,33 @@ static void get_prev_entry (void)
  * Copy the next history entry to the input buffer.
  *
  */
-
-static void get_next_entry (void)
+static void get_next_entry(void)
 {
-    zchar buf[INPUT_BUFFER_SIZE];
-
-    int i = history.current;
+       zchar buf[INPUT_BUFFER_SIZE];
 
-    truncate_line (history.prefix_len);
+       int i = history.current;
 
-    do {
+       truncate_line(history.prefix_len);
 
        do {
+               do {
+                       if (i == history.latest)
+                               return;
 
-           if (i == history.latest)
-               return;
-
-           if (i++ == HISTORY_BUFSIZE - 1)
-               i = 0;
+                       if (i++ == HISTORY_BUFSIZE - 1)
+                               i = 0;
+               } while (history.buffer[i] != 0);
+               if (i == history.latest)
+                       goto no_further;
+       } while (!fetch_entry (buf, i));
 
-       } while (history.buffer[i] != 0);
-
-       if (i == history.latest)
-           goto no_further;
-
-    } while (!fetch_entry (buf, i));
-
-    insert_string (buf + history.prefix_len);
+       insert_string(buf + history.prefix_len);
 
 no_further:
+       history.current = i;
 
-    history.current = i;
+} /* get_next_entry */
 
-}/* get_next_entry */
 
 /*
  * os_read_line
@@ -790,101 +716,85 @@ no_further:
 #define new_history_search() \
     { history.prefix_len = input.pos; history.current = history.latest; }
 
-zchar os_read_line (int max, zchar *buf, int timeout, int width, int continued)
+zchar os_read_line(int max, zchar *buf, int timeout, int width, int continued)
 {
-    int key = continued ? 9999 : 0;
-
-    /* Initialise input variables */
-
-    input.buffer = buf;
-    input.pos = strlen ((char *) buf);
-    input.length = strlen ((char *) buf);
-    input.max_length = max;
-    input.width = os_string_width (buf);
-    input.max_width = width - os_char_width (' ');
-
-    /* Calculate time limit */
-
-    set_timer (timeout);
-
-    /* Loop until a terminator is found */
-
-    do {
-
-       if (key != 9999)
-           new_history_search ();
-
-       /* Get next key from mouse or keyboard */
+       int key = continued ? 9999 : 0;
 
-       key = get_key (TRUE);
+       /* Initialise input variables */
+       input.buffer = buf;
+       input.pos = strlen((char *) buf);
+       input.length = strlen((char *) buf);
+       input.max_length = max;
+       input.width = os_string_width(buf);
+       input.max_width = width - os_char_width(' ');
 
-       if (key < ZC_ASCII_MIN || key > ZC_ASCII_MAX && key < ZC_LATIN1_MIN || key > ZC_LATIN1_MAX) {
+       /* Calculate time limit */
+       set_timer (timeout);
 
-           /* Ignore time-outs if the cursor is not at end of the line */
-
-           if (key == ZC_TIME_OUT && input.pos < input.length)
-               key = 9999;
-
-           /* Backspace, return and escape keys */
-
-           if (key == ZC_BACKSPACE)
-               delete_left ();
-           if (key == ZC_RETURN)
-               store_input ();
-           if (key == ZC_ESCAPE)
-               truncate_line (0);
-
-           /* Editing keys */
-
-           if (cwin == 0) {
-
-               if (key == ZC_ARROW_UP)
-                   get_prev_entry ();
-               if (key == ZC_ARROW_DOWN)
-                   get_next_entry ();
-               if (key == ZC_ARROW_LEFT)
-                   cursor_left ();
-               if (key == ZC_ARROW_RIGHT)
-                   cursor_right ();
-
-               if (key >= ZC_ARROW_MIN && key <= ZC_ARROW_MAX)
-                   key = 9999;
-
-               if (key == SPECIAL_KEY_HOME)
-                   first_char ();
-               if (key == SPECIAL_KEY_END)
-                   last_char ();
-               if (key == SPECIAL_KEY_WORD_LEFT)
-                   prev_word ();
-               if (key == SPECIAL_KEY_WORD_RIGHT)
-                   next_word ();
-               if (key == SPECIAL_KEY_DELETE)
-                   delete_char ();
-               if (key == SPECIAL_KEY_INSERT)
-                   overwrite = !overwrite;
-               if (key == SPECIAL_KEY_TAB)
-                   tabulator_key ();
-
-           }
-
-           if (key == SPECIAL_KEY_PAGE_UP)
-               key = ZC_ARROW_UP;
-           if (key == SPECIAL_KEY_PAGE_DOWN)
-               key = ZC_ARROW_DOWN;
-
-       } else insert_char (key);
-
-    } while (key > 0xff || !is_terminator (key));
-
-    last_char ();
-
-    overwrite = FALSE;
-
-    /* Return terminating key */
-
-    return key;
+       /* Loop until a terminator is found */
+       do {
+               if (key != 9999)
+                       new_history_search();
+
+               /* Get next key from mouse or keyboard */
+               key = get_key (TRUE);
+
+               if (key < ZC_ASCII_MIN || key > ZC_ASCII_MAX && key < ZC_LATIN1_MIN || key > ZC_LATIN1_MAX) {
+                       /* Ignore time-outs if the cursor is not at end of the line */
+                       if (key == ZC_TIME_OUT && input.pos < input.length)
+                               key = 9999;
+
+                       /* Backspace, return and escape keys */
+                       if (key == ZC_BACKSPACE)
+                               delete_left();
+                       if (key == ZC_RETURN)
+                               store_input();
+                       if (key == ZC_ESCAPE)
+                               truncate_line(0);
+
+                       /* Editing keys */
+                       if (cwin == 0) {
+                               if (key == ZC_ARROW_UP)
+                                       get_prev_entry();
+                               if (key == ZC_ARROW_DOWN)
+                                       get_next_entry();
+                               if (key == ZC_ARROW_LEFT)
+                                       cursor_left();
+                               if (key == ZC_ARROW_RIGHT)
+                                       cursor_right();
+                               if (key >= ZC_ARROW_MIN && key <= ZC_ARROW_MAX)
+                                       key = 9999;
+                               if (key == SPECIAL_KEY_HOME)
+                                       first_char();
+                               if (key == SPECIAL_KEY_END)
+                                       last_char();
+                               if (key == SPECIAL_KEY_WORD_LEFT)
+                                       prev_word();
+                               if (key == SPECIAL_KEY_WORD_RIGHT)
+                                       next_word();
+                               if (key == SPECIAL_KEY_DELETE)
+                                       delete_char();
+                               if (key == SPECIAL_KEY_INSERT)
+                                       overwrite = !overwrite;
+                               if (key == SPECIAL_KEY_TAB)
+                                       tabulator_key();
+                       }
+                       if (key == SPECIAL_KEY_PAGE_UP)
+                               key = ZC_ARROW_UP;
+                       if (key == SPECIAL_KEY_PAGE_DOWN)
+                               key = ZC_ARROW_DOWN;
+               } else
+                       insert_char(key);
+       } while (key > 0xff || !is_terminator(key));
+
+       last_char();
+
+       overwrite = FALSE;
+
+       /* Return terminating key */
+       return key;
+} /* os_read_line */
 
-}/* os_read_line */
 
 #undef new_history_search()
 
@@ -895,22 +805,19 @@ zchar os_read_line (int max, zchar *buf, int timeout, int width, int continued)
  * return it. Input aborts after timeout/10 seconds.
  *
  */
-
-zchar os_read_key (int timeout, bool cursor)
+zchar os_read_key(int timeout, bool cursor)
 {
-    int key;
-
-    set_timer (timeout);
-
-    do {
+       int key;
 
-       key = get_key (cursor);
+       set_timer(timeout);
 
-    } while (key > 0xff);
+       do {
+               key = get_key(cursor);
+       } while (key > 0xff);
 
-    return key;
+       return key;
+} /* os_read_key */
 
-}/* os_read_key */
 
 /*
  * os_read_file_name
@@ -934,107 +841,96 @@ zchar os_read_key (int timeout, bool cursor)
 
 char *os_read_file_name (const char *default_name, int flag)
 {
-    char *extension;
-    FILE *fp;
-    bool terminal;
-    bool result;
-
-    bool saved_replay = istream_replay;
-    bool saved_record = ostream_record;
-
-    int i;
-    char *tempname;
-    char file_name[FILENAME_MAX + 1];
-
-    /* Turn off playback and recording temporarily */
-
-    istream_replay = FALSE;
-    ostream_record = FALSE;
-
-    /* Select appropriate extension */
-
-    extension = ".aux";
-
-    if (flag == FILE_SAVE || flag == FILE_RESTORE)
-       extension = ".sav";
-    if (flag == FILE_SCRIPT)
-       extension = ".scr";
-    if (flag == FILE_RECORD || flag == FILE_PLAYBACK)
-       extension = ".rec";
-
-    /* Input file name (reserve four bytes for a file name extension) */
-
-    print_string ("Enter file name (\"");
-    print_string (extension);
-    print_string ("\" will be added).\nDefault is \"");
-    print_string (default_name);
-    print_string ("\": ");
-
-    read_string (MAX_FILE_NAME - 4, (zchar *) file_name);
-
-    /* Use the default name if nothing was typed */
-
-    if (file_name[0] == 0)
-       strcpy (file_name, default_name);
-    if (strchr (file_name, '.') == NULL)
-       strcat (file_name, extension);
-
-    /* FIXME: UNTESTED Check if we're restricted to one directory. */
-
-    if (f_setup.restricted_path != NULL) {
-       for (i = strlen(file_name); i > 0; i--) {
-           if (file_name[i] == PATH_SEPARATOR) {
-               i++;
-               break;
-           }
-       }
-       tempname = strdup(file_name + i);
-       strcpy(file_name, f_setup.restricted_path);
-       if (file_name[strlen(file_name)-1] != PATH_SEPARATOR) {
-           strcat(file_name, "\\");
+       char *extension;
+       FILE *fp;
+       bool terminal;
+       bool result;
+
+       bool saved_replay = istream_replay;
+       bool saved_record = ostream_record;
+
+       int i;
+       char *tempname;
+       char file_name[FILENAME_MAX + 1];
+
+       /* Turn off playback and recording temporarily */
+       istream_replay = FALSE;
+       ostream_record = FALSE;
+
+       /* Select appropriate extension */
+       extension = ".aux";
+
+       if (flag == FILE_SAVE || flag == FILE_RESTORE)
+               extension = ".sav";
+       if (flag == FILE_SCRIPT)
+               extension = ".scr";
+       if (flag == FILE_RECORD || flag == FILE_PLAYBACK)
+               extension = ".rec";
+
+       /* Input file name (reserve four bytes for a file name extension) */
+       print_string("Enter file name (\"");
+       print_string(extension);
+       print_string("\" will be added).\nDefault is \"");
+       print_string(default_name);
+       print_string("\": ");
+
+       read_string(MAX_FILE_NAME - 4, (zchar *) file_name);
+
+       /* Use the default name if nothing was typed */
+       if (file_name[0] == 0)
+               strcpy(file_name, default_name);
+       if (strchr(file_name, '.') == NULL)
+               strcat(file_name, extension);
+
+       /* FIXME: UNTESTED Check if we're restricted to one directory. */
+       if (f_setup.restricted_path != NULL) {
+               for (i = strlen(file_name); i > 0; i--) {
+                       if (file_name[i] == PATH_SEPARATOR) {
+                               i++;
+                               break;
+                       }
+               }
+               tempname = strdup(file_name + i);
+               strcpy(file_name, f_setup.restricted_path);
+               if (file_name[strlen(file_name)-1] != PATH_SEPARATOR) {
+                       strcat(file_name, "\\");
+               }
+               strcat(file_name, tempname);
        }
-       strcat(file_name, tempname);
-    }
-
-    /* Make sure it is safe to use this file name */
-
-    result = TRUE;
 
-    /* OK if the file is opened for reading */
+       /* Make sure it is safe to use this file name */
+       result = TRUE;
 
-    if (flag != FILE_SAVE && flag != FILE_SAVE_AUX && flag != FILE_RECORD)
-       goto finished;
+       /* OK if the file is opened for reading */
+       if (flag != FILE_SAVE && flag != FILE_SAVE_AUX && flag != FILE_RECORD)
+               goto finished;
 
-    /* OK if the file does not exist */
+       /* OK if the file does not exist */
+       if ((fp = fopen(file_name, "rb")) == NULL)
+               goto finished;
 
-    if ((fp = fopen (file_name, "rb")) == NULL)
-       goto finished;
+       /* OK if this is a pseudo-file (like PRN, CON, NUL) */
+       terminal = fp->flags & _F_TERM;
 
-    /* OK if this is a pseudo-file (like PRN, CON, NUL) */
+       fclose(fp);
 
-    terminal = fp->flags & _F_TERM;
+       if (terminal)
+               goto finished;
 
-    fclose (fp);
-
-    if (terminal)
-       goto finished;
-
-    /* OK if user wants to overwrite */
-
-    result = read_yes_or_no ("Overwrite existing file");
+       /* OK if user wants to overwrite */
+       result = read_yes_or_no ("Overwrite existing file");
 
 finished:
 
-    /* Restore state of playback and recording */
-
-    istream_replay = saved_replay;
-    ostream_record = saved_record;
-
-    if (!result) return NULL;
+       /* Restore state of playback and recording */
+       istream_replay = saved_replay;
+       ostream_record = saved_record;
 
-    return strdup(file_name);
+       if (!result)
+               return NULL;
 
-}/* os_read_file_name */
+       return strdup(file_name);
+} /* os_read_file_name */
 
 
 /*