On Sat, 1 Oct 2022 at 08:24, Mike Miller <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Users mailing list -- [email protected] To unsubscribe send an email to [email protected]
