Re: [josm-dev] Mouse symbols not visible

2014-09-04 Thread Andrew Buck
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 I can't reliably reproduce it, but it does tend to occur after some other dialog inside josm is opened and then closed back to josm (for example the tag editor plugin). Not sure if this helps or not, but I thought I would share it in case it clues som

Re: [josm-dev] Mouse symbols not visible

2014-09-04 Thread Dirk Stöcker
On Thu, 4 Sep 2014, Andrew Buck wrote: I get this all the time on linux as well. I have found that clicking on the top window bar (up by where the close X button is) to 'select' the josm application again (even without switching to another one first) works every time. Not sure if this is a jos

Re: [josm-dev] Mouse symbols not visible

2014-09-04 Thread Andrew Buck
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 I get this all the time on linux as well. I have found that clicking on the top window bar (up by where the close X button is) to 'select' the josm application again (even without switching to another one first) works every time. Not sure if this is

Re: [josm-dev] Mouse symbols not visible

2014-09-04 Thread Martin Koppenhoefer
2014-09-04 13:03 GMT+02:00 Marián Kyral : > I'm on Linux. Yes, indeed happened again. I'm currently on OS-X (mac) cheers, Martin ___ josm-dev mailing list josm-dev@openstreetmap.org https://lists.openstreetmap.org/listinfo/josm-dev

Re: [josm-dev] Mouse symbols not visible

2014-09-04 Thread Marián Kyral
Od: Martin Koppenhoefer Komu: josm-dev@openstreetmap.org Datum: 4. 9. 2014 12:48:23 Předmět: Re: [josm-dev] Mouse symbols not visible "sorry for the noise, maybe some kind of hickup. They now reappeared without me doing anything but continue to use JOSM...

Re: [josm-dev] Mouse symbols not visible

2014-09-04 Thread Martin Koppenhoefer
sorry for the noise, maybe some kind of hickup. They now reappeared without me doing anything but continue to use JOSM... ___ josm-dev mailing list josm-dev@openstreetmap.org https://lists.openstreetmap.org/listinfo/josm-dev

[josm-dev] Mouse symbols not visible

2014-09-04 Thread Martin Koppenhoefer
Just noticed that the mouse symbols are not visible any more, is this intentional or a bug? I found these quite useful, especially when pressing the modifier keys. cheers, Martin ___ josm-dev mailing list josm-dev@openstreetmap.org https://lists.openstre