You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently most user configurations will be overriden by the theme defaults which prevents the user from setting e.g. a custom font.
The theme should prefer the user configurations for the cursorShape, fontSize and fontFamily attributes before setting theme defaults.
Currently most user configurations will be overriden by the theme defaults which prevents the user from setting e.g. a custom font.
The theme should prefer the user configurations for the
cursorShape
,fontSize
andfontFamily
attributes before setting theme defaults.This is a follow up to #2.
The text was updated successfully, but these errors were encountered: