diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2019-10-07 17:06:45 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2019-10-07 17:06:45 +0200 |
commit | c375a958e2849c77a79e03b0afd33b7944ec2e46 (patch) | |
tree | fb861c94a688aaeda7c963563a3d1b7052dbd374 /debian/patches/0501-Dont-pack-webview-into-a-scrolled-window.patch | |
parent | a0b6a762f71f53c8548f55191dd03eaecb04103c (diff) |
Remove unused patches
Diffstat (limited to 'debian/patches/0501-Dont-pack-webview-into-a-scrolled-window.patch')
-rw-r--r-- | debian/patches/0501-Dont-pack-webview-into-a-scrolled-window.patch | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/debian/patches/0501-Dont-pack-webview-into-a-scrolled-window.patch b/debian/patches/0501-Dont-pack-webview-into-a-scrolled-window.patch deleted file mode 100644 index a5820dd..0000000 --- a/debian/patches/0501-Dont-pack-webview-into-a-scrolled-window.patch +++ /dev/null @@ -1,44 +0,0 @@ -From 130ebe6f1eda9564e89ab617bdfa30a50f828e47 Mon Sep 17 00:00:00 2001 -From: Michael Catanzaro <mcatanzaro@igalia.com> -Date: Fri, 4 Dec 2015 17:33:43 +0100 -Subject: [PATCH] Don't pack webview into a scrolled window - -The scrollbar is drawn by WebKitWebView in WK2. - -https://bugzilla.gnome.org/show_bug.cgi?id=751709 ---- - plugins/common/RESTSupport.vala | 8 +------- - 1 file changed, 1 insertion(+), 7 deletions(-) - -Index: trunk/plugins/common/RESTSupport.vala -=================================================================== ---- trunk.orig/plugins/common/RESTSupport.vala -+++ trunk/plugins/common/RESTSupport.vala -@@ -725,7 +725,6 @@ public abstract class GooglePublisher : - - private WebKit.WebView webview; - private Gtk.Box pane_widget; -- private Gtk.ScrolledWindow webview_frame; - private string auth_sequence_start_url; - - public signal void authorized(string auth_code); -@@ -735,18 +734,13 @@ public abstract class GooglePublisher : - - pane_widget = new Gtk.Box(Gtk.Orientation.VERTICAL, 0); - -- webview_frame = new Gtk.ScrolledWindow(null, null); -- webview_frame.set_shadow_type(Gtk.ShadowType.ETCHED_IN); -- webview_frame.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC); -- - webview = new WebKit.WebView(); - webview.get_settings().enable_plugins = false; - - webview.load_changed.connect(on_page_load_changed); - webview.context_menu.connect(() => { return false; }); - -- webview_frame.add(webview); -- pane_widget.pack_start(webview_frame, true, true, 0); -+ pane_widget.pack_start(webview, true, true, 0); - } - - public static bool is_cache_dirty() { |