Some adjustments for editor - Githubissues

languagetool-org / languagetool-website-2018

OUTDATED, do not use anymore

12 stars 11 forks source link

Some adjustments for editor #68

Closed tiff closed 5 years ago

tiff commented 5 years ago

A few low hanging fruits were implemented:

Promote Google Docs Plugin when browser extension is already installed
Fix for case where suggestion menu sometimes overlays the word
More prominent premium error count:

Bildschirmfoto 2019-05-16 um 13 57 24