Closed beardhatcode closed 4 years ago
This is a hack to use this extension with an already started server.
I don't know if others also want this. If so, I could make adjustments to add a "g:languagetool_use_server" var.
g:languagetool_use_server
I quite like the hack ! Thanks for finding it !
This is a hack to use this extension with an already started server.
I don't know if others also want this. If so, I could make adjustments to add a "
g:languagetool_use_server
" var.