b4n 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.
And it shouldn't make it less configurable, it just changes the snippet to use (or possibly not even change it), but one can very well define a style for the monospace class in geany.css for example. 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. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4329#issuecomment-2964377631 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4329/[email protected]>
