Re: Hide fold margin in properties
| Newsgroups | gmane.editors.scite.general |
|---|---|
| Message-ID | <[email protected]> |
Hi Neil, Apparently the option works, but only after a restart. Don't know if this is some kind of minor bug. If I change it in the user options file and press save, the fold margin is still displayed but a little bit smaller. But when I restart, the margin is entirely hidden. Probably that was my confusion, I should have restarted first. Thx Op vrijdag 4 maart 2022 om 23:10:15 UTC+1 schreef Neil Hodgson: > chris.d…: > > > What is the correct property to hide the fold margin on startup? > > … > > - fold.margin.width=0 > > fold.margin.width=0 should hide the fold margin at startup. It does for me > on Windows. > > Neil > > -- You received this message because you are subscribed to the Google Groups "scite-interest" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/scite-interest/a58b1a38-a88a-4646-b895-495cccebe0d8n%40googlegroups.com.