-l10n 0.0.svn7643+dfsg1-1
pn josm-plugins none
ii webkit-image-gtk 0.0.svn25399-3
josm suggests no packages.
-- no debconf information
From 6fa965e3800bdfad2ee5be533f5dc1fe18700a3e Mon Sep 17 00:00:00 2001
From: Marcus Lundblad m...@update.uu.se
Date: Mon, 24 Nov 2014 22:37:17 +0100
I cooked up a patch that fetches the logo image if the embedded resource
isn't found in the package. The reason I did this instead of just
overriding the original code is to hopefully make it possibly more
upstreamable.
I tried building and installing the package with the patch applied and
Josm
ImageIO.read() has a variant taking a java.io.URL instance.
This should, by default, use caching (possibly in-memory per-session,
but we would download the tiles anyway, so maybe that is acceptable)
automatically.
I was about to try to cook up a patch falling back to using this method
if the
3 matches
Mail list logo