Compare commits
9 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
de29f0aae8 | ||
|
|
5db3276bd9 | ||
|
|
250068022a | ||
|
|
548b0b41b1 | ||
|
|
eff3b27e30 | ||
|
|
fee0023b83 | ||
|
|
d7153dd73d | ||
|
|
d7931272c6 | ||
|
|
06a60f7a3b |
3 changed files with 3135 additions and 16 deletions
3112
evolution.spec
3112
evolution.spec
File diff suppressed because it is too large
Load diff
2
sources
2
sources
|
|
@ -1 +1 @@
|
|||
SHA512 (evolution-3.59.1.tar.xz) = 26d6d4dfcdbc3d89f88d9e24096c7ff910d221119def75d7f80a397f682be96860726832c7c62b46769ce9cfcc15e5844cbcc016facc9b21b4eb9bbb2c17360d
|
||||
SHA512 (evolution-3.52.4.tar.xz) = 6b6112032b8f531043a1ac95916b0a2190853d037fb92a93aeda4aa3023fdb267382f9e81ce28dc8dadc76e0907f3d0e540ff8499aae12560bec6a75d5247ec5
|
||||
|
|
|
|||
37
webkitgtk-2.46.1.patch
Normal file
37
webkitgtk-2.46.1.patch
Normal file
|
|
@ -0,0 +1,37 @@
|
|||
diff --git a/src/modules/webkit-editor/e-webkit-editor.c b/src/modules/webkit-editor/e-webkit-editor.c
|
||||
index bc423841a8..d3217cd48b 100644
|
||||
--- a/src/modules/webkit-editor/e-webkit-editor.c
|
||||
+++ b/src/modules/webkit-editor/e-webkit-editor.c
|
||||
@@ -5724,6 +5724,24 @@ webkit_editor_button_press_event (GtkWidget *widget,
|
||||
GTK_WIDGET_CLASS (e_webkit_editor_parent_class)->button_press_event (widget, event);
|
||||
}
|
||||
|
||||
+static gboolean
|
||||
+webkit_editor_button_release_event (GtkWidget *widget,
|
||||
+ GdkEventButton *event)
|
||||
+{
|
||||
+ if (event->button == 2) {
|
||||
+ /* WebKitGTK 2.46.1 changed the middle-click paste behavior and moved
|
||||
+ the paste handler from the button-press event into the button-release
|
||||
+ event, which causes double paste of the clipboard content. As the paste
|
||||
+ is handled in the webkit_editor_button_press_event() above, make sure
|
||||
+ the release handler is not called here regardless whether the user
|
||||
+ uses the changed WebkitGTK or not. */
|
||||
+ return TRUE;
|
||||
+ }
|
||||
+
|
||||
+ /* Chain up to parent's method. */
|
||||
+ return GTK_WIDGET_CLASS (e_webkit_editor_parent_class)->button_release_event (widget, event);
|
||||
+}
|
||||
+
|
||||
static gboolean
|
||||
webkit_editor_key_press_event (GtkWidget *widget,
|
||||
GdkEventKey *event)
|
||||
@@ -5814,6 +5832,7 @@ e_webkit_editor_class_init (EWebKitEditorClass *class)
|
||||
|
||||
widget_class = GTK_WIDGET_CLASS (class);
|
||||
widget_class->button_press_event = webkit_editor_button_press_event;
|
||||
+ widget_class->button_release_event = webkit_editor_button_release_event;
|
||||
widget_class->key_press_event = webkit_editor_key_press_event;
|
||||
|
||||
g_object_class_override_property (
|
||||
Loading…
Add table
Add a link
Reference in a new issue