[Github-comments] Re: [geany/geany] Add option to only show line endings if they differ from file default (PR #3287)

2023-09-25 Thread elextr via Github-comments
Its a little weird, the "show line endings" setting can be changed by the checkbox in the prefs dialog, or in the view menu. They both seem to use use the same internal setting, if its changed in one place the other matches it. My instinct would be to leave the "Show only non-default line end

[Github-comments] Re: [geany/geany] Add option to only show line endings if they differ from file default (PR #3287)

2023-09-25 Thread cousteau via Github-comments
A minor issue: on a fresh Geany install (or a clean $HOME folder), this new option is still selectable by default, even if "Show line endings" is deselected. My first reaction when trying to enable this new behavior was to click the option directly, which did nothing (I was expecting it to aut

[Github-comments] Re: [geany/geany] Add option to only show line endings if they differ from file default (PR #3287)

2022-11-13 Thread Enrico Tröger
Merged #3287 into master. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3287#event-7798341396 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany] Add option to only show line endings if they differ from file default (PR #3287)

2022-10-17 Thread Enrico Tröger
Alright, thanks. If nobody objects, I'll merge this in a few days. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3287#issuecomment-1281487895 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany] Add option to only show line endings if they differ from file default (PR #3287)

2022-10-16 Thread cousteau
If you're asking me, I'd say go ahead with it 🙂 -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3287#issuecomment-1280036159 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany] Add option to only show line endings if they differ from file default (PR #3287)

2022-10-16 Thread Enrico Tröger
So, we leave the wording as is and can merge? -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3287#issuecomment-1279962927 You are receiving this because you are subscribed to this thread. Message ID: