diff options
author | Photon89 | 2019-09-06 10:42:02 +0200 |
---|---|---|
committer | Photon89 | 2019-09-06 10:42:02 +0200 |
commit | ef0ae296fc348d1e9c2cde800b29c754746e6f76 (patch) | |
tree | ea1c26db4d4651644ea11c8f791b491eeb284606 /fix-scrolling2.patch | |
parent | c2875e3919ad00305d9ceca34dffa88d8daca723 (diff) | |
download | aur-ef0ae296fc348d1e9c2cde800b29c754746e6f76.tar.gz |
Update to 4.14
Diffstat (limited to 'fix-scrolling2.patch')
-rw-r--r-- | fix-scrolling2.patch | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/fix-scrolling2.patch b/fix-scrolling2.patch new file mode 100644 index 000000000000..b744c688d089 --- /dev/null +++ b/fix-scrolling2.patch @@ -0,0 +1,58 @@ +diff -Naur xfce4-panel-4.14.0-orig/plugins/pager/pager.c xfce4-panel-4.14.0/plugins/pager/pager.c +--- xfce4-panel-4.14.0-orig/plugins/pager/pager.c 2019-09-04 15:35:31.954681740 +0200 ++++ xfce4-panel-4.14.0/plugins/pager/pager.c 2019-09-04 15:39:59.057180601 +0200 +@@ -53,8 +53,11 @@ + guint prop_id, + const GValue *value, + GParamSpec *pspec); +-static gboolean pager_plugin_scroll_event (GtkWidget *widget, ++static gboolean pager_buttons_scroll_event (GtkWidget *widget, + GdkEventScroll *event); ++static gboolean pager_plugin_scroll_event (GtkWidget *widget, ++ GdkEventScroll *event, ++ gpointer user_data); + static void pager_plugin_drag_begin_event (GtkWidget *widget, + GdkDragContext *context, + gpointer user_data); +@@ -141,7 +144,7 @@ + gobject_class->set_property = pager_plugin_set_property; + + widget_class = GTK_WIDGET_CLASS (klass); +- widget_class->scroll_event = pager_plugin_scroll_event; ++ widget_class->scroll_event = pager_buttons_scroll_event; + widget_class->get_preferred_width = pager_plugin_get_preferred_width; + widget_class->get_preferred_width_for_height = pager_plugin_get_preferred_width_for_height; + widget_class->get_preferred_height = pager_plugin_get_preferred_height; +@@ -318,10 +321,20 @@ + + + static gboolean ++pager_buttons_scroll_event (GtkWidget *widget, ++ GdkEventScroll *event) ++{ ++ pager_plugin_scroll_event(widget, event, XFCE_PAGER_PLUGIN (widget)); ++} ++ ++ ++ ++static gboolean + pager_plugin_scroll_event (GtkWidget *widget, +- GdkEventScroll *event) ++ GdkEventScroll *event, ++ gpointer user_data) + { +- PagerPlugin *plugin = XFCE_PAGER_PLUGIN (widget); ++ PagerPlugin *plugin = user_data; + WnckWorkspace *active_ws; + WnckWorkspace *new_ws; + gint active_n; +@@ -445,6 +458,9 @@ + G_CALLBACK (pager_plugin_drag_begin_event), plugin); + g_signal_connect_after (G_OBJECT (plugin->pager), "drag-end", + G_CALLBACK (pager_plugin_drag_end_event), plugin); ++ /* overwrite default WnckPager widget scroll-event */ ++ g_signal_connect(G_OBJECT(plugin->pager), "scroll-event", ++ G_CALLBACK(pager_plugin_scroll_event), plugin); + } + else + { |