The case with wx terminal turns out to be more involved (due to collision of some ctrl-key cases).
I changed the way how it works, and tested it under Linux/Ubuntu that I use.
Though it has to be tested on other systems too, since wxWidgets are not nice here, sorry.
The case with wx terminal turns out to be more involved (due to collision of some ctrl-key cases).
I changed the way how it works, and tested it under Linux/Ubuntu that I use.
Though it has to be tested on other systems too, since wxWidgets are not nice here, sorry.