techee left a comment (geany/geany#4329) > I'm not sure we should remove the names/IDs, people might be using them for > other things. And I don't really see why we'd need to remove it: just drop > the styling we have and that's it. Yes, if somebody has it in a customized > geany.css it won't update, but it also means they cared enough about styles > that they modified it already so I'd think they can still do manually if they > wish.
OK. > Apart from that it sound good to me, but I'm marginally afraid not all themes > might set that class already. Yet my tests showed the ones I had did, so > maybe I'm just being overly prudent here. Isn't there some built-in GTK theme (Adwaita) that provides some sane defaults in case themes miss something? In any case, I can try what happens when I remove the definition of `.monospace` from the theme I use. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4329#issuecomment-2964403759 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4329/[email protected]>
