> On 6 Nov 2018, at 15:44, Esteban Maringolo <[email protected]> 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 >
