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

Possible renaming of power symbols? #49

Open
Enivex opened this issue Feb 12, 2025 · 3 comments
Open

Possible renaming of power symbols? #49

Enivex opened this issue Feb 12, 2025 · 3 comments
Labels
proposal This may still need discussion

Comments

@Enivex
Copy link
Collaborator

Enivex commented Feb 12, 2025

These symbols were recently introduced in 7c81751, however I think it's worth reconsidering some of the names.

In particular, ⏻ (U+23FB) is currently power.standby, but I think just power, power.toggle or power.button could be better names.

@T0mstone
Copy link
Collaborator

T0mstone commented Feb 12, 2025

I deliberately made power.standby the first variant so that you can also use it as just power. Note that this symbol represents toggling standby mode in particular. A full on/off toggle should always use ⏼ .
(Edit: At least that's how I heard it, can't remember where from tho)
Edit 2: Okay, not just hearsay, Wikipedia corroborates.

@MDLC01
Copy link
Collaborator

MDLC01 commented Feb 12, 2025

I don't think I ever saw ⏼ IRL. Generally, buttons that are used to turn a device on or off depending on its current state use ⏻ where I live (France).

@Enivex
Copy link
Collaborator Author

Enivex commented Feb 12, 2025

You are probably referring to this

https://www.iso.org/obp/ui#iec:grs:60417:5009

However, the IEEE 1621 standard elaborates

Image

Both Unicode and IEEE call it simply the power symbol (see https://unicode-explorer.com/c/23FB)

The distinction seems to be that ⏼ is always a hard on-off switch, while ⏻ is more general.

I'd prefer dropping standby and simply letting it be power

@MDLC01 MDLC01 added the proposal This may still need discussion label Feb 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
proposal This may still need discussion
Projects
None yet
Development

No branches or pull requests

3 participants