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
Separate the "group" and "list" options from TrayStyle #309
Comments
TaskListStyle seems like the obvious place. I'd also like to see an extra option for tablet mode... something like group="icon" to omit the label. On many tablets, the resolution is so high that I need a 96px icon for easy thumb clicking. With the labels, it either takes too much horizontal space or makes the icon too small. It looks like group="icon" would need to be changes in at least:
|
Omitting the text next to an icon is something I've thought about before. A work around is to set the width (or height) of the tray such that only the icon fits. That's a little bit ugly though, so an option to disable the text would probably be good on a per-tray basis. |
I don't think the disabled text belongs in the tray properties either - only the TaskListStyle. If you don't want button labels in the tray, you just don't put them. When the TaskListStyle is grouped, the label really provides no useful purpose for most apps. It's a bit redundant to see the Firefox icon followed by a label confirming that it is in fact Firefox just like it was when you clicked it in the menu or tray button. It would be really slick to omit the label entirely when it has an icon and if it is missing an icon, overlay as much of the label as possible over the default icon (I am imagining rxvt inside the default square) |
As of snapshot 1637, the "group" and "list" options are part of Also, there is also a "labeled" option on the |
The "group" and "list" attributes specify behavior that really isn't associated with theming, so they shouldn't be part of the
TrayStyle
tag since this prevents a user from setting them if they usingInclude
to set a JWM theme.To avoid breaking backward compatibility, I propose adding a new tag with "group" and "list" attributes while still supporting the old method until the next minor version bump.
The text was updated successfully, but these errors were encountered: