imports.exclude in the user settings file

Lithium Lilith <[email protected]> Mon, 9 Oct 2023 22:38:36 -0700 (PDT)
Newsgroups gmane.editors.scite.general
Message-ID <[email protected]>
Hi,
The Options menu is not overridden in a user settings file loaded on the 
command line via -import. The value of imports.exclude is overridden: 
print(props['imports.exclude']).
But if you save the user file in the editor, the Options menu is updated.

-- 
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/6e52bb16-b853-4f60-88d3-e20e51d5d62en%40googlegroups.com.