💾 Archived View for station.martinrue.com › gnuserland › ae571dbfc9ec4a34ad72c13f3c58c2eb captured on 2024-08-31 at 14:41:17. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-09-28)
-=-=-=-=-=-=-
@skyjake did you plan to add a spellchecking function, in the near future, to Lagrange (all versions) ?
Thanks,
tgl
2 years ago
@skyjake thanks! · 2 years ago
plugins/extension so people can help you to add features
It is quite unlikely. I would like to keep Lagrange small and simple, and a plugin mechanism may require making things significantly more complicated.
However, there may be ways to do certain things via "transparent" extension methods, similar to the MIME hooks. It all hinges on how important the use cases are. Text input in particular may warrant adding some hook mechanisms that allow passing the entered text to some external tool for checking/conversion. · 2 years ago
Lagrange on Android doesn't yet use native input UI widgets. When it does, custom and standard keyboards should both work as expected.
Personally I always disable spellcheckers, except on mobile... · 2 years ago
@tskaalgard I wrote all the time in two languages that aren't my natives one, and the spellchecker helps me a lot.
I am so used to read them that when those are mixed I go straight to the meaning without realizing that are two different idioms... · 2 years ago
@skyjake I switched on the Android default keyboard and you don't have any spellchecking function... Also this keyboard does not have any emojii support. · 2 years ago
@skyajke did you plan for the long term to add something like plugins/extension so people can help you to add features that actually you don't have time or desire to work on.
Something like, for instance, spellchecking integrations, emoji picker (I know that MacOS has this function but the majority of *nix don't), etc... · 2 years ago
On my android mobile, with AnyKeySoftware, an alternative keyboard, I can't get the spellchecking function. · 2 years ago
I have no plans to integrate a spellchecker. This is one of those platform-specific features that would require many different backends.
Native text input controls may provide it, though, like on iOS. · 2 years ago