File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 351351 gap : 6px ;
352352 margin-left : 2px ;
353353 --workspaces-toggle-color : color-mix (in srgb, # 60a5fa 84% , var (--panel-text ));
354+ --workspaces-toggle-color-disabled : color-mix (
355+ in srgb,
356+ var (--text-muted ) 82% ,
357+ var (--panel-text )
358+ );
354359 color : color-mix (in srgb, var (--panel-text ) 84% , var (--text-subtle ));
355360}
356361
357362.diagnostics-toggle .workspaces-toggle : hover : not (: disabled ) {
358363 color : var (--workspaces-toggle-color );
359364}
360365
366+ .diagnostics-toggle .workspaces-toggle : disabled {
367+ opacity : 0.64 ;
368+ cursor : not-allowed;
369+ --workspaces-toggle-color : var (--workspaces-toggle-color-disabled );
370+ color : color-mix (in srgb, var (--text-muted ) 82% , var (--panel-text ));
371+ }
372+
361373.workspaces-toggle__icon {
362374 width : 16px ;
363375 height : 16px ;
You can’t perform that action at this time.
0 commit comments