Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Abbreviate word suggestions #426

Closed
Glitchy-Tozier opened this issue Mar 3, 2021 · 4 comments · Fixed by #514
Closed

Abbreviate word suggestions #426

Glitchy-Tozier opened this issue Mar 3, 2021 · 4 comments · Fixed by #514
Assignees
Labels
proposal A proposal for a new feature or an enhancement proposal-accepted An accepted proposal for a new feature or an enhancement
Milestone

Comments

@Glitchy-Tozier
Copy link
Collaborator

Glitchy-Tozier commented Mar 3, 2021

Short description

Most of the time this isn't needed. however, in some cases there will be long words that should be abbreviated by some number of dots.

Looking for a prime example? It's…
supercalifrag
Even though the sound of it is something quite atrocious, people might want to use word-suggestions to type it faster.

Suggestion

Abbreviate it → The cut-off nobody will notice.
Supercalifragilisticexpiali…

Environment information

  • FlorisBoard Version: 0.3.8
  • Install Source: Google PlayStore
  • Device: Samsung Galaxy S9
  • Android version, ROM: 10, whatever Samsung uses (one-ui?)
@Glitchy-Tozier Glitchy-Tozier added the bug A bug report label Mar 3, 2021
@patrickgold
Copy link
Member

Most of the time this isn't needed. however, in some cases there will be long words that should be abbreviated by some number of dots.

Definitely agree here, that's why I marked word suggestions as experimental. In many areas they are currently more a mess than anything else, but phase 2 will fix a lot of this.

Supercalifragilisticexpiali...

That's a new word for me, it amazes me what words are embedded in the wordlist I don't know of :)

whatever Samsung uses (one-ui?)

I think it's OneUI 2.0, but I could be wrong there. For me it is mostly enough to know what type of ROM you are using, because for instance a custom ROM behaves differently to stock which behaves differently to Smasung's OneUI.

@patrickgold patrickgold added proposal A proposal for a new feature or an enhancement proposal-accepted An accepted proposal for a new feature or an enhancement and removed bug A bug report labels Mar 3, 2021
@patrickgold patrickgold added this to the 0.4.0 milestone Mar 3, 2021
@Glitchy-Tozier
Copy link
Collaborator Author

That's a new word for me, it amazes me what words are embedded in the wordlist I don't know of :)

You don't know the word or you didn't know it existed as a suggestion?

I think it's OneUI 2.0, but I could be wrong there. For me it is mostly enough to know what type of ROM you are using, because for instance a custom ROM behaves differently to stock which behaves differently to Smasung's OneUI.

Meaning that telling you about OneUI gives you more information than telling you it's Android 10?

@patrickgold
Copy link
Member

You don't know the word or you didn't know it existed as a suggestion?

No I haven't heard the word ever yet, but I just looked it up in DDG and it is the name of a song from Disney's musical film Mary Poppins it seems, so that's how this word made it onto the wordlist.

Meaning that telling you about OneUI gives you more information than telling you it's Android 10?

No, telling me what Android version you use is the most important info in that line (because Android APIs behave differently and change in every version). I just wanted to state that it's probably OneUI because you placed a question mark after it.

@Glitchy-Tozier
Copy link
Collaborator Author

No I haven't heard the word ever yet, but I just looked it up in DDG and it is the name of a song from Disney's musical film Mary Poppins it seems, so that's how this word made it onto the wordlist.

You should watch it eventually. In German though. The German songs are better.

No, telling me what Android version you use is the most important info in that line (because Android APIs behave differently and change in every version). I just wanted to state that it's probably OneUI because you placed a question mark after it.

Got it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
proposal A proposal for a new feature or an enhancement proposal-accepted An accepted proposal for a new feature or an enhancement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants