Closed Kaljurand closed 9 years ago
Original issue 9 created by Kaljurand on 2011-11-03T10:49:39.000Z:
This would allow the 3rd party app developer to set which server to use, similar to setting the grammar and lang.
Comment #1 originally posted by Kaljurand on 2011-11-04T09:30:20.000Z:
Should be fixed, but didn't test it yet.
Original issue 9 created by Kaljurand on 2011-11-03T10:49:39.000Z:
This would allow the 3rd party app developer to set which server to use, similar to setting the grammar and lang.