Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save konsolebox/7dffabb03a0d63c0189d9491ecffb4ef to your computer and use it in GitHub Desktop.
Save konsolebox/7dffabb03a0d63c0189d9491ecffb4ef to your computer and use it in GitHub Desktop.
diff --git a/terminal/terminal-window.c b/terminal/terminal-window.c
index 9c543da..9e2ce5d 100644
--- a/terminal/terminal-window.c
+++ b/terminal/terminal-window.c
@@ -191,7 +191,6 @@ static gboolean terminal_window_action_close_tab (TerminalWindo
static gboolean terminal_window_action_close_other_tabs (TerminalWindow *window);
static gboolean terminal_window_action_close_window (TerminalWindow *window);
static gboolean terminal_window_action_copy (TerminalWindow *window);
-static gboolean terminal_window_action_copy_html (TerminalWindow *window);
static gboolean terminal_window_action_paste (TerminalWindow *window);
static gboolean terminal_window_action_paste_selection (TerminalWindow *window);
static gboolean terminal_window_action_select_all (TerminalWindow *window);
@@ -328,7 +327,6 @@ static XfceGtkActionEntry action_entries[] =
{ TERMINAL_WINDOW_ACTION_CLOSE_WINDOW, "<Actions>/terminal-window/close-window", "<control><shift>q", XFCE_GTK_IMAGE_MENU_ITEM, N_ ("Close _Window"), NULL, "application-exit", G_CALLBACK (terminal_window_action_close_window), },
{ TERMINAL_WINDOW_ACTION_EDIT_MENU, "<Actions>/terminal-window/edit-menu", "", XFCE_GTK_MENU_ITEM, N_ ("_Edit"), NULL, NULL, NULL, },
{ TERMINAL_WINDOW_ACTION_COPY, "<Actions>/terminal-window/copy", "<control><shift>c", XFCE_GTK_IMAGE_MENU_ITEM, N_ ("_Copy"), N_ ("Copy to clipboard"), "edit-copy", G_CALLBACK (terminal_window_action_copy), },
- { TERMINAL_WINDOW_ACTION_COPY_HTML, "<Actions>/terminal-window/copy-html", "", XFCE_GTK_IMAGE_MENU_ITEM, N_ ("Copy as _HTML"), N_ ("Copy to clipboard as HTML"), "edit-copy", G_CALLBACK (terminal_window_action_copy_html), },
{ TERMINAL_WINDOW_ACTION_PASTE, "<Actions>/terminal-window/paste", "<control><shift>v", XFCE_GTK_IMAGE_MENU_ITEM, N_ ("_Paste"), N_ ("Paste from clipboard"), "edit-paste", G_CALLBACK (terminal_window_action_paste), },
{ TERMINAL_WINDOW_ACTION_PASTE_ALT, "<Actions>/terminal-window/paste-alt", "<control><shift>Insert", XFCE_GTK_IMAGE_MENU_ITEM, N_ ("_Paste Alt"), NULL, "edit-paste-alt", G_CALLBACK (terminal_window_action_paste), },
{ TERMINAL_WINDOW_ACTION_PASTE_SELECTION, "<Actions>/terminal-window/paste-selection", "", XFCE_GTK_MENU_ITEM, N_ ("Paste _Selection"), NULL, NULL, G_CALLBACK (terminal_window_action_paste_selection), },
@@ -1716,16 +1714,6 @@ terminal_window_action_copy (TerminalWindow *window)
-static gboolean
-terminal_window_action_copy_html (TerminalWindow *window)
-{
- if (G_LIKELY (window->priv->active != NULL))
- terminal_screen_copy_clipboard_html (window->priv->active);
- return TRUE;
-}
-
-
-
static gboolean
terminal_window_action_paste (TerminalWindow *window)
{
@@ -3208,8 +3196,6 @@ terminal_window_menu_add_section (TerminalWindow *window,
item = xfce_gtk_menu_item_new_from_action_entry (get_action_entry (TERMINAL_WINDOW_ACTION_COPY), G_OBJECT (window), GTK_MENU_SHELL (insert_to_menu));
gtk_widget_set_sensitive (item, terminal_screen_has_selection (window->priv->active));
- item = xfce_gtk_menu_item_new_from_action_entry (get_action_entry (TERMINAL_WINDOW_ACTION_COPY_HTML), G_OBJECT (window), GTK_MENU_SHELL (insert_to_menu));
- gtk_widget_set_sensitive (item, terminal_screen_has_selection (window->priv->active));
xfce_gtk_menu_append_separator (GTK_MENU_SHELL (menu));
}
diff --git a/terminal/terminal-window.h b/terminal/terminal-window.h
index 81b7d9c..d31cefa 100644
--- a/terminal/terminal-window.h
+++ b/terminal/terminal-window.h
@@ -49,7 +49,6 @@ typedef enum
TERMINAL_WINDOW_ACTION_CLOSE_WINDOW,
TERMINAL_WINDOW_ACTION_EDIT_MENU,
TERMINAL_WINDOW_ACTION_COPY,
- TERMINAL_WINDOW_ACTION_COPY_HTML,
TERMINAL_WINDOW_ACTION_PASTE,
TERMINAL_WINDOW_ACTION_PASTE_ALT,
TERMINAL_WINDOW_ACTION_PASTE_SELECTION,
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment