diff options
Diffstat (limited to 'x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.overrides')
| -rw-r--r-- | x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.overrides | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.overrides b/x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.overrides deleted file mode 100644 index f5ecfea3eef3..000000000000 --- a/x11-toolkits/php-gtk2/files/patch-ext_gtkhtml_gtkhtml.overrides +++ /dev/null @@ -1,12 +0,0 @@ ---- ext/gtkhtml/gtkhtml.overrides.orig Thu Sep 19 15:57:28 2002 -+++ ext/gtkhtml/gtkhtml.overrides Sun Dec 8 18:10:47 2002 -@@ -1068,7 +1068,8 @@ - widget = php_gtk_shift_to_iframe_parent (widget, &x, &y); - - engine = GTK_HTML (widget)->engine; -- if (GTK_HTML (widget)->button1_pressed && html_engine_get_editable (engine)) -+/* FIXME: button1_pressed has been removed? */ -+ if (html_engine_get_editable (engine)) - html_engine_jump_at (engine, - x + engine->x_offset, - y + engine->y_offset); |