[josm-dev] Bug in the Preferences (rev. 935)

2008-09-08 Thread Christoph Seitz
Today I found a bug in the Preferences. If you have no plugins, you get an NullPointerException. I described it on the josm-page. http://josm.openstreetmap.de/ticket/1520 Also added a patch for this problem :) btw. I'm new to OSM and JOSM but I really really like it and I want to support the pr

Re: [josm-dev] Bug in the Preferences (rev. 935)

2008-09-08 Thread Dirk Stöcker
On Tue, 9 Sep 2008, Christoph Seitz wrote: > Today I found a bug in the Preferences. If you have no plugins, you get an > NullPointerException. > I described it on the josm-page. > http://josm.openstreetmap.de/ticket/1520 > > Also added a patch for this problem :) But it would not work. "null" d

Re: [josm-dev] Bug in the Preferences (rev. 935)

2008-09-09 Thread Dirk Stöcker
On Tue, 9 Sep 2008, Dirk Stöcker wrote: Today I found a bug in the Preferences. If you have no plugins, you get an NullPointerException. I described it on the josm-page. http://josm.openstreetmap.de/ticket/1520 Also added a patch for this problem :) But it would not work. "null" deletes the

Re: [josm-dev] Bug in the Preferences (rev. 935)

2008-09-09 Thread Christoph Seitz
Original-Nachricht > Datum: Tue, 9 Sep 2008 09:04:15 +0200 (CEST) > Von: "Dirk Stöcker" <[EMAIL PROTECTED]> > An: josm-dev@openstreetmap.org > Betreff: Re: [josm-dev] Bug in the Preferences (rev. 935) > On Tue, 9 Sep 2008, Dirk Stöcker wrote: >