[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