Community
Participate
Working Groups
It would be useful to have a state to distinguish the default push button (set by Shell#setDefaultButton()) in the CSS theming.
Buttons now have a "default" state. To style the shell default button use: Button[PUSH]:default { ... }