On Mon, 13 Oct 2008, Petr Dlouhý wrote:
You can use this tools as downloader for ewmsplugin:
http://www.dstoecker.eu/webkit-image.cpp
Thought you need to find the reason for the different scaling first to
get
useful results. I had no time yet to have a deep look into this.
Ciao
My patch didn't work? Have you tried the newest version of the plugin?
It's working for me.
I found a fix:
In ymap.html change
mapDiv.style.width = new_width;
mapDiv.style.height = new_height;
map.resizeTo( new YSize(new_width, new_height));
to
map.resizeTo( new YSize(new_width, new_height));
mapDiv.style.width = new_width;
mapDiv.style.height = new_height;
BTW: Your correction of my "background layer" was wrong. That is no local,
but a global variable. Thought it requires a recent josm.
I will supply compiled versions of the webkit downloader soon, so we can
allow enduser usage of it.
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
_______________________________________________
josm-dev mailing list
[email protected]
http://lists.openstreetmap.org/listinfo/josm-dev
