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

Change symbol "Π" to always be "π" and change your extended popups #298

Closed
RickyM7 opened this issue Feb 1, 2021 · 9 comments
Closed
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

@RickyM7
Copy link
Contributor

RickyM7 commented Feb 1, 2021

I just realized that the symbol π turns into Π when in capslock. Could you change this so that the π symbol remains independent of the capslock state? Another thing, the extended popups of π are ω and μ, and those of Π are Ω and Μ(But the M can be removed because it doesn't even make sense that it's an extended popup of the symbol π), could you add the extended popups of Π to π?

In short: The symbol π remains regardless of the state of the capslock (just like any other symbol it is) and its extended popups will be Ω, Π, ω and μ.

@RickyM7 RickyM7 added the proposal A proposal for a new feature or an enhancement label Feb 1, 2021
@RickyM7 RickyM7 changed the title Change symbol "Π" to always be "π" and change in your extended popups Change symbol "Π" to always be "π" and change your extended popups Feb 1, 2021
@patrickgold
Copy link
Member

Thanks for the suggestion! You are right, the capitalization of pi is indeed a byproduct of me not being aware enough that the caps from the character keyboard also influences the symbols layout. I will add this on my todo list to fix this!

@patrickgold patrickgold added the proposal-accepted An accepted proposal for a new feature or an enhancement label Feb 1, 2021
@patrickgold patrickgold added this to the 0.4.0 milestone Feb 1, 2021
@patrickgold
Copy link
Member

Above commit prevents the capitalization of any key outside the character layout scope. The pi key now has these popups (independent of the caps state): (alpha and beta have additionally to your request been added as I needed two additional popup letters and these are the most commonly used ones besides the already included Greek letters)

pi_popups

Will be released in the next version v0.3.7. Thanks again for reporting!

@RickyM7
Copy link
Contributor Author

RickyM7 commented Feb 2, 2021

Perfect, thank you!

@RickyM7
Copy link
Contributor Author

RickyM7 commented Mar 17, 2021

@patrickgold I just saw that this bug is occurring again in v0.3.9.

  • Device: Redmi Note 4 (MIUI 11 - Android 7.0)

@kj7rrv
Copy link

kj7rrv commented Mar 17, 2021 via email

@kj7rrv
Copy link

kj7rrv commented Mar 17, 2021 via email

@patrickgold
Copy link
Member

Well if I remove the safeguard (93654c4) that caps only works in character layouts it then this bug will of course occur again... Will add it again momentarily.

@patrickgold
Copy link
Member

Above commit fixes the uppercase bug, hopefully the last time :)

@RickyM7
Copy link
Contributor Author

RickyM7 commented Mar 22, 2021

@patrickgold Thank you very much, I just tested the v0.3.10-beta2 and the bug has been fixed. I'm sorry I haven't tested it before, it's just that my internet was terrible these last 5 days.

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

No branches or pull requests

3 participants