--- uae/src/tui.c	2018/04/24 17:02:07	1.1.1.10
+++ uae/src/tui.c	2018/04/24 17:14:27	1.1.1.12
@@ -53,7 +53,7 @@ static void save_settings (void)
     tui_backup_optionsfile ();
     f = fopen (optionsfile, "w");
     if (f == NULL) {
-	fprintf (stderr, "Error saving options file!\n");
+	write_log ("Error saving options file!\n");
 	return;
     }
     save_options (f, &currprefs);
@@ -263,7 +263,7 @@ static void print_configuration (void)
 	sprintf (tmp, "Picasso 96 %d MB", currprefs.gfxmem_size / 0x100000);
 	tui_puts(tmp);
     } else
- 	tui_puts ("Picasso 96 Off");
+	tui_puts ("Picasso 96 Off");
     y++;
 
     tui_gotoxy (OPTION_COLUMN, y++);
@@ -627,7 +627,7 @@ static void OtherOptions (void)
 	 case 0:
 	    currprefs.jport0 = (currprefs.jport0 + 1) % 6;
 	    if (currprefs.jport0 == currprefs.jport1)
-	      currprefs.jport1 = (currprefs.jport1 + 5) % 6;	      
+	      currprefs.jport1 = (currprefs.jport1 + 5) % 6;
 	    break;
 	 case 1:
 	    currprefs.jport1 = (currprefs.jport1 + 1) % 6;
@@ -720,3 +720,11 @@ int gui_update (void)
 {
     return 0;
 }
+
+void gui_lock (void)
+{
+}
+
+void gui_unlock (void)
+{
+}