Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
I said to set those styles to the value of the default style, not delete them. What happens with them deleted is undefined behaviour. The styles will still be applied1, but its unknown what their value will be, default or random uninitialised memory or what.
I said "This WFM" (works for me) not necessarily that I guaranteed it will be everyones experience.
you have provided no data to reproduce it, what font? what sizes? X11 or Wayland or some other platform, what version of Geany. So nobody can debug it.
in this context a "style" is just a small number that indexes into a table of the actual values for the style, so it depends on what the table is initialised to (or not), it may not be your colourscheme default, it may be some global default, only the code knows. ↩
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.