[DebianGIS-dev] [SCM] josm-plugins branch, master, updated. debian/0.0.svn23479-1-1-g16708c7
David Paleino
dapal at debian.org
Thu Oct 14 08:16:45 UTC 2010
The following commit has been merged in the master branch:
commit 16708c72879d13970223f1c19d13d85d80b52512
Author: David Paleino <dapal at debian.org>
Date: Thu Oct 14 10:05:02 2010 +0200
debian/patches/170-fix_webkitimagegtk.patch added, don't output a fixed size image, otherwise it's inusable with JOSM.
diff --git a/debian/changelog b/debian/changelog
index 37045fe..7a45dd6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+josm-plugins (0.0.svn23479-2) UNRELEASED; urgency=low
+
+ * debian/patches/170-fix_webkitimagegtk.patch added, don't output
+ a fixed size image, otherwise it's inusable with JOSM.
+
+ -- David Paleino <dapal at debian.org> Thu, 14 Oct 2010 10:03:56 +0200
+
josm-plugins (0.0.svn23479-1) unstable; urgency=low
* New upstream snapshot
diff --git a/debian/patches/170-fix_webkitimagegtk.patch b/debian/patches/170-fix_webkitimagegtk.patch
new file mode 100644
index 0000000..8e6e1a5
--- /dev/null
+++ b/debian/patches/170-fix_webkitimagegtk.patch
@@ -0,0 +1,28 @@
+From: David Paleino <dapal at debian.org>
+Subject: don't use a fixed width/height for the output
+Origin: vendor
+Forwarded: no
+
+---
+ wmsplugin/webkit-image-gtk.c | 3 ---
+ 1 file changed, 3 deletions(-)
+
+--- josm-plugins.orig/wmsplugin/webkit-image-gtk.c
++++ josm-plugins/wmsplugin/webkit-image-gtk.c
+@@ -5,8 +5,6 @@
+ #include <gio/gunixoutputstream.h>
+ #include <webkit/webkit.h>
+
+-#define WIDTH 2000
+-
+ /* compile with:
+ * gcc -o webkit-image-gtk webkit-image-gtk.c `pkg-config --cflags --libs webkit-1.0 gio-unix-2.0`
+ * Requires GTK+ 2.20 and WebKitGtk+ 1.1.1
+@@ -44,7 +42,6 @@ main (int argc,
+
+ view = webkit_web_view_new ();
+ webkit_web_view_load_uri (WEBKIT_WEB_VIEW (view), argv[1]);
+- gtk_widget_set_size_request (view, WIDTH, WIDTH);
+ gtk_container_add (GTK_CONTAINER (window), view);
+
+ gtk_widget_show_all (window);
diff --git a/debian/patches/series b/debian/patches/series
index 85ca6f2..3b95a35 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -11,3 +11,4 @@
30_slippymap.diff
20_livegps.diff
10_colorscheme.diff
+170-fix_webkitimagegtk.patch
--
Plugins for josm
More information about the Pkg-grass-devel
mailing list