On Sat, 1 Oct 2022 at 08:24, Mike Miller geany-users@mgmiller.net wrote:
On 2022-09-27 15:07, Lex Trotman wrote:
So essentially there is no good solution, everybody has one they prefer, but the only one that matters to Geany is the one somebody contributes to the project.
I'd tweak this statement to say there is no perfect solution. But several decent ones, and Geany is already pretty-darn good. BTW, did you see this?
Almost every other top-level widget in geany has a menu-item toggle in the View menu. But the Status Bar is conspicuously absent for no particular reason. Add it and the long journey thru the prefs would be avoided in the first place.Would it be possible to add that? Good for consistency, I think.
If somebody contributed a well written pull request it might be accepted, see "somebody contributes" phrase above.
Cheers Lex
-Mike _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org