Closed amr3k closed 4 years ago
Unluckily I have no idea of what might be causing this issue, as it seems to be working on the other distros. Also, I am not the writer of the extension, so I don't have full knowledge of the code. If you manage to make it work, please send a pull request and I'll be happy to check it and merge it.
Closing the issue as nobody else seems to have this problem and I cannot reproduce. Please reopen if needed.
First of all, I would like to thank you for such an awesome tool 👍
The preferences interface allows me to change any option and saves them after closing it exept those options in Translators tab ! I want to change the default translator to Google translator, the default source language to Detect Language and the default target language to Arabic. When I make those changes and close to preferences UI, I returns them to the default options Yandex Translator , Russian and Frensh. My machine runs Manjaro with Gnome 3.22.2