simply gets the impression Geany's auto-close feature is bad and deactivates it (as I did)

As did I, maybe a PR to remove it from Geany? [ducks] 😁

The argument that any specific functionality should be built-in, not in plugins does not make sense. All current IDEs/editors use plugins to add/extend features, it allows different use-cases to be addressed without arguments about what should be built in, the user just loads the plugin/extension that suits them.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.