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
Hi
I have a problem rendering names of workspaces. It might be a font problem, icons being rendered with awesome font.
Perhaps a pointer where to place a substitution script might be great.
Anyway, a short documentation could be great for the config file (wether the alternative to None has to be quoted, what value is expected for name_*).
The text was updated successfully, but these errors were encountered:
Tonus1
changed the title
Config values and fontt
Config values and font
Jan 14, 2023
Hi
![2023-01-14_145547_screenshot](https://user-images.githubusercontent.com/11093251/212499093-0eefa5cf-d083-4982-9be0-4f6128048eca.png)
![2023-01-14_230824_screenshot](https://user-images.githubusercontent.com/11093251/212499206-c70c6d23-2321-403c-812b-4b2b4059cf36.png)
I have a problem rendering names of workspaces. It might be a font problem, icons being rendered with awesome font.
Perhaps a pointer where to place a substitution script might be great.
Anyway, a short documentation could be great for the config file (wether the alternative to None has to be quoted, what value is expected for name_*).
The text was updated successfully, but these errors were encountered: