Martin Koppenhoefer schrieb:
ich habe gerade ein neues Ticket für JOSM erstellt, weil mir folgendes aufgefallen ist: nachdem man in die preferences gegangen ist und danach OK geclickt hat, wird das WMS-Menu grau (bei cancel nicht).
Das liegt vermutlich an der Meldung, dass man JOSM neu starten muss. Ich bin eh dafür, dass man bei Zeiten mal das Einstellungsmenü so umbaut, dass triviale Einstellungen, die keinen Neustart erfordern bzw. die Umgekehrten speziell gekennzeichnet werden.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Talk-de mailing list Talk-de@openstreetmap.org http://lists.openstreetmap.org/cgi-bin/mailman/listinfo/talk-de
