Probably addon: LanguageTool integration
Throwing in a weird idea that might just be out of scope:
What about replacing the current spell checker with a LanguageTool integration?
Using LanguageTool would definitely enhance the spell checking / proofreading feature in Builder by adding
- grammar checks
- advanced spell checking
- (possibly) False-Friend detection for non-native speakers
Traditional spell checking could be used as a fallback if LanguageTool is not installed.
Even though I think that this feature might just be out of scope for GNOME Builder, I am opening this issue here as
- traditional spell checking is part of GNOME Builder, and this is the right place to request a better replacement
- I don't know any other place to post this