b4n left a comment (geany/geany#4332) IMO if you want to do this, ideally you should make it one digit wider if e.g. adding 10 lines would make it wider -- but only initially, otherwise it just changes the point where it "pops", and it has to still be stable… but that's a bit tricky.
Maybe just having at least 2 is sane enough if it bothers people. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/4332#issuecomment-2973630626 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/4332/[email protected]>
