Re: [orca-list] Switching Profiles in Orca
- From: Didier Spaier <didier slint fr>
- To: orca-list gnome org
- Subject: Re: [orca-list] Switching Profiles in Orca
- Date: Fri, 5 Jan 2018 10:29:59 +0100
Hi Dennis,
Le 05/01/2018 à 09:47, Dennis Westphal a écrit :
Recently though I can't tell when exactly this occured, when switching
Profiles via key combination for example from default to a profile
where I've set orca to read in english it is announced that the
profile has been changed. However the language parameters have not
been changed. When I open up the preferences window suddenly the
changes take effect and from that point on they will take effect even
when switching profiles via key combination.
I can't answer this, sorry
On another note: Where are the profiles stored? When Testing I have
created several profiles which I don't need anymore so I'd like to
delete them.
I just checked. Here the profiles are stored inside this file:
~/.local/share/orca/user-settings.conf
But be careful if you want to delete them as this file has a syntax that
don't make it easy to modify it.
A small script to list the profiles and allow to delete one would be
handy. I could write one, but hopefully someone already did something
like that or a format converter to easier handle modifications?
Greetings from France,
Didier
http://slint.fr
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]