💾 Archived View for station.martinrue.com › gnuserland › ae571dbfc9ec4a34ad72c13f3c58c2eb captured on 2023-04-26 at 14:53:26. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-03-20)
-=-=-=-=-=-=-
@skyjake did you plan to add a spellchecking function, in the near future, to Lagrange (all versions) ?
Thanks,
tgl
1 year ago
@skyjake thanks! · 1 year 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. · 1 year 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... · 1 year 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... · 1 year ago
Please no spellcheck. It's more trouble than it's worth and it's a pain in the ass if you regularly type in several different languages. · 1 year 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. · 1 year 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... · 1 year ago
On my android mobile, with AnyKeySoftware, an alternative keyboard, I can't get the spellchecking function. · 1 year 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. · 1 year ago