gnome-help: deprecated ON and OFF gui labels
Rafael Fontenelle <[email protected]>
| Newsgroups | gmane.comp.gnome.documentation |
|---|---|
| Message-ID | <CAFPa+S=4n421U3XE6H2e_xfr_xJhj7+2SZbM8XgP+-_+-VPeGw@mail.gmail.com> |
Hi there, Pages that make mentions to enable/disable features still tell "switch feature <gui>foobar</gui> to <gui>ON</gui>", or OFF. Since GNOME 3.20 (or 3.18? Not sure), the GUI uses something similar to a vertical line ( | ) to OFF, and something like a white circle ( ○ ) to ON. I'm considering to provide a patch replacing texts ON to ○ and OFF to |. Alternatively, I could create and use PNG images in place of these gui labels. What are your thoughts on this? Best regards, Rafael Fontenelle _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list