On 17/03/2019 17:21, Anthony Walter via lazarus wrote:
I support this idea, although manually remapping hotkeys thanks to the fantastic key bindings dialog is very easy.
The problem with changing this default (this one particularly) is that anyone used to the current behaviour will not only get a new behaviour, but one that close the current tab for them. So that is one, that cannot just undone by ctrl-z.
And they might get it repeatedly, as "old habits die hard". -- _______________________________________________ lazarus mailing list lazarus@lists.lazarus-ide.org https://lists.lazarus-ide.org/listinfo/lazarus
