Delete outdated patches

debian/patches/remove_deprecated_gtk_image_menu_item_new_from_stock

@@ -1,34 +0,0 @@
---- a/src/mssh-pref.c
-+++ b/src/mssh-pref.c
-@@ -258,7 +258,7 @@
-     GtkWidget *mod_super_check = gtk_check_button_new_with_label("Super");
- 
-     GtkWidget *close_hbox = gtk_box_new(GTK_ORIENTATION_HORIZONTAL, 0);
--    GtkWidget *close_button = gtk_button_new_from_stock(GTK_STOCK_CLOSE);
-+    GtkWidget *close_button = gtk_button_new_with_label("Close");
- 
-     GtkWidget *dir_focus_check = gtk_check_button_new_with_label(
-         "Use directional focus");
---- a/src/mssh-window.c
-+++ b/src/mssh-window.c
-@@ -475,15 +475,15 @@
-     GtkWidget *server_item = gtk_menu_item_new_with_label("Servers");
-     GtkWidget *command_item = gtk_menu_item_new_with_label("Commands");
- 
--    GtkWidget *file_quit = gtk_image_menu_item_new_from_stock(
--        GTK_STOCK_QUIT, NULL);
--    GtkWidget *file_sendhost = gtk_image_menu_item_new_with_label(
-+    GtkWidget *file_quit = gtk_menu_item_new_with_label(
-+        "Quit");
-+    GtkWidget *file_sendhost = gtk_menu_item_new_with_label(
-         "Send hostname");
-     GtkWidget *file_add = gtk_menu_item_new_with_label(
-         "Add session");
- 
--    GtkWidget *edit_pref = gtk_image_menu_item_new_from_stock(
--        GTK_STOCK_PREFERENCES, NULL);
-+    GtkWidget *edit_pref = gtk_menu_item_new_with_label(
-+        "Preferences");
- 
-     GtkAccelGroup *accel = gtk_accel_group_new();
- 

debian/patches/remove_deprecated_gtk_widget_set_margin_left

@@ -1,13 +0,0 @@
---- a/src/mssh-window.c
-+++ b/src/mssh-window.c
-@@ -398,8 +398,8 @@
-         }
- 
-         /* Set margins to terminal widget */
--        gtk_widget_set_margin_left(GTK_WIDGET(terminal), 1);
--        gtk_widget_set_margin_right(GTK_WIDGET(terminal), 1);
-+        gtk_widget_set_margin_start(GTK_WIDGET(terminal), 1);
-+        gtk_widget_set_margin_end(GTK_WIDGET(terminal), 1);
-         gtk_widget_set_margin_top(GTK_WIDGET(terminal), 1);
-         gtk_widget_set_margin_bottom(GTK_WIDGET(terminal), 1);
- 

debian/patches/series

@@ -1,2 +0,0 @@
-remove_deprecated_gtk_widget_set_margin_left
-remove_deprecated_gtk_image_menu_item_new_from_stock