Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Edit the list of external dictionaries #625
User should be able to edit the list of the external dictionaries - that is, user should be able to include his/her own URLs besides three predefined ones. He/she should be able to delete the three predefined external dictionaries as well, if he/she wishes so.