Re: Hide fold margin in properties
"'Neil Hodgson' via scite-interest" <[email protected]>
| Newsgroups | gmane.editors.scite.general |
|---|---|
| Message-ID | <[email protected]> |
chris.d: > Apparently the option works, but only after a restart. Your original question was: “What is the correct property to hide the fold margin on startup?" > Don't know if this is some kind of minor bug. Its behaving as designed. Either the properties files or the menu choice takes precedence and the menu item wouldn’t be much use if the properties overrode it. 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/9EB1C67A-509B-4835-B726-199BD8DCB54E%40me.com.