Re: [orca-list] Settings concept for plugin based orca

[Jeffery Mewtamer <mewtamer gmail com>]

Maybe I'm missing something, but wouldn't it be simpler to have a
"plug-ins" tab in the Orca Preferences that

-Lists installed plug-ins.
-provides enabled/disable, remove, and preferences buttons for each plug-in.
-The preferences button brings up preferences specific to that plug-in.

Instead of overhauling the Orca Preferences to integrate plug-in
preferences with the bulit-in preferences?

Also, maybe I'm misremembering, but wasn't their an issue fairly
recently where some Ubuntu-specific patches that force greater
integration between Orca and Gsettings causes issues with backing up
or copying Orca preferences between machines, especially if the
machines are running different distros?

Personally, I have no strong opinion on how the GUI is handled, in
part because Orca+space fails to launch Orca's preferences on my
machine, but I'm in favor of anything that prevents direct editing of
.local/share/orca/user-settings.conf from getting any harder or makes
it easier, and I'm in favor of keeping backing up, restoring, or
copying Orca preferences to another machine staying as simple as
copying .local/share/orca.