So for now, I think it's better to have it disabled by default.

See also discussion starting at #3551 (comment)
Opinions @kugel- @eht16 @techee @elextr @ntrel and everyone else?


You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/3591

Commit Summary

File Changes

(1 file)

Patch Links:


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/pull/3591@github.com>