techee 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.
I think it's not necessary to go too crazy about this, Enrico's patch is fine I think. 10 is probably the most frequent border where people will notice it and the bigger the file, the less frequent these shifts will be. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/4332#issuecomment-2973671430 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/4332/[email protected]>
