Am 20.08.2010 01:59, schrieb Stephan Knauss:
The command is not only undocumented, but also the option to disable
the command is not available in the config dialog. And default is
enable...
The more I think about it the stronger gets my urge to change this
behavior...
That's what I did now... 22702
I agree. My latest changes to implement remote control for wmsplugin
made it impossible to change the default for an individual command. I
think I should change this.
I guess this will be an incompatible change, that means people who
update only remotecontrol but not wmsplugin will probably get a hard error.
I will also implement a function to request the API version of the
remotecontrol plugin. So in future wmsplugin will not use remotecontrol
if it is too new.
Bodo
_______________________________________________
josm-dev mailing list
[email protected]
http://lists.openstreetmap.org/listinfo/josm-dev
