Nov. 6, 2018
4:22 p.m.
On 6 Nov 2018, at 15:44, Esteban Maringolo <emaringolo@gmail.com> wrote:
Yes, but I cannot fix the whole input event handler just to assign a shortcut ;)
Ps: *Yes*, to fix the event handler is in the TODO list. But if I jump to fix what is broken each time I found something I will be trap in an endless loop until I retire or die.
The "problem" would be to assign a sub-optimal shortcut as a workaround for a bug.
Not because it cannot be changed later, but because we all know nothing is as permanent as temporary solutions :)
I like the Shift+Shift proposed, but I don't know if the current handler can process it.
Nope :/
Esteban A. Maringolo