Rename CLI and GUI versions main source files

[emu8051.git] / src / gtk / viewmenu.c

diff --git a/src/gtk/viewmenu.c b/src/gtk/viewmenu.c
index 04fca27..fa1a383 100644 (file)
--- a/src/gtk/viewmenu.c
+++ b/src/gtk/viewmenu.c
@@ -26,7 +26,7 @@
 #include <gtk/gtk.h>
 
 #include "common.h"
-#include "emugtk.h" /* For AddMenuSeparator() function. */
+#include "main.h" /* For AddMenuSeparator() function. */
 #include "messagebox.h"
 #include "viewmenu.h"
 #include "app-config.h"
@@ -42,7 +42,9 @@ void toggle_layout(GtkWidget *widget, gpointer data)
        if (gtk_check_menu_item_get_active(GTK_CHECK_MENU_ITEM(widget))) {
                log_info("  Switching to layout %d", id);
                cfg->layout = id;
-               emugtk_restart_gui();
+
+               message_show_information(
+                       "You must restart for the changes to take effect");
        }
 }