Changes between Initial Version and Version 1 of Ticket #22766, comment 3


Ignore:
Timestamp:
2023-02-24T11:53:24+01:00 (2 years ago)
Author:
Woazboat

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22766, comment 3

    initial v1  
    11Same thing also happens to me from time to time, but I think I have found a workaround that does not require restarting josm:
    22
    3 When keyboard input stops working, open up the settings window, navigate to "advanced settings" and double click on any of the value entry fields as if you wanted to change it. Text input should start working again after that. No, I have no idea why that works.
     3When keyboard input stops working, open up the settings window, navigate to "Advanced Preferences" and double click on any of the value entry fields as if you wanted to change it. Text input should start working again after that. No, I have no idea why that works.
    44
    55Presumably any text input field like that where you have to double click to change it to edit mode would work, but the advanced settings window is easy to navigate to and has plenty of those fields.