although i think that this issue should be reopened (these issues both tackle different things, one is for a shortcut, other is for a preference - and it would be better if these things would be in separate issues), i hope that 'preference thing' won't be lost in 'shortcut issue'.

Peter Kupfer wrote:
Rich wrote:

Mathias Bauer wrote:

The setting is not removed from the configuration database (obviously
because it was forgotten to do that), but it is no longer evaluated in
the code.

so in this case a feature was removed. not only a setting in options, a feature itself.
maybe owner of issue 41136 could reopen it, because in this case it is a valid issue

That issue has been marked as a dupe. The discussion is now in Issue #39486.
--
 Rich

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]



Reply via email to