Re: josm Keyboard input stops working

2019-01-06 Thread Nelson A. de Oliveira
On Sun, Jan 6, 2019 at 12:54 PM Florian Lohoff wrote: > for some month now i have the issue that under some for me > non deterministic circumstances the complete keyboard input > in JOSM stops working. Sometimes I still have this same problem https://josm.openstreetmap.de/ticket/13160 As a

josm Keyboard input stops working

2019-01-06 Thread Florian Lohoff
Hi, for some month now i have the issue that under some for me non deterministic circumstances the complete keyboard input in JOSM stops working. I was on latest 14530 and switched to 14648 a couple minutes ago and after 2 Minutes of editing all keyboard input was disfunctional. The only input

Re: josm Keyboard input stops working

2019-01-06 Thread Florian Lohoff
On Sun, Jan 06, 2019 at 01:02:22PM -0200, Nelson A. de Oliveira wrote: > On Sun, Jan 6, 2019 at 12:54 PM Florian Lohoff wrote: > > for some month now i have the issue that under some for me > > non deterministic circumstances the complete keyboard input > > in JOSM stops working. > > Sometimes I

Re: josm Keyboard input stops working

2019-01-06 Thread Andrew Harvey
I've run into the same issue a few times. On Mon, 7 Jan 2019 at 01:54, Florian Lohoff wrote: > > Hi, > for some month now i have the issue that under some for me > non deterministic circumstances the complete keyboard input > in JOSM stops working. > > I was on latest 14530 and switched to

Re: josm Keyboard input stops working

2019-01-06 Thread Maarten Deen
I have seen this also and have filed a bug for it in the past, but that got closed because it was not reproducible. https://josm.openstreetmap.de/ticket/16403 Circumstances to create it included fast succession of entering keys, like what Florian is describing. At a certain point I could not