123456789101112131415161718192021222324252627 |
- /***********
- * Spinner *
- ***********/
- menu spinner {
- color: $selected_bg_color;
- }
- /*********************
- * Spinner Animation *
- *********************/
- @keyframes spin {
- to { -gtk-icon-transform: rotate(1turn); }
- }
- spinner {
- background: none;
- opacity: 0; // non spinning spinner makes no sense
- -gtk-icon-source: -gtk-icontheme('process-working-symbolic');
- &:checked {
- opacity: 1;
- animation: spin 1s linear infinite;
- &:disabled { opacity: 0.5; }
- }
- }
|