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
{{ message }}
This repository has been archived by the owner on Mar 3, 2023. It is now read-only.
Checked that there is not already an Atom package that provides the described functionality: https://atom.io/packages
Description
There are no option to set the font-size for atom-workspace (everything outside of atom-text-editor) unless you use a theme that supports those changes (like Atom Material UI or One Dark UI ). Setting 'font-size' in atom-workspace does not change anything while setting 'font-family' changes it for most themes.
The current workaround taken from the forum is to do the following each time you change a theme and see if it works with that theme.
.theme-atom-material {
font-size: 20px;
}
Felt like the interaction is pretty confusing at this point.
Steps to Reproduce
Open styles.less
Set 'font-size' for atom-workspace
atom-workspace {
font-size: 15px;
}
Save styles.less
Change the 'font-size' value
atom-workspace {
font-size: 20px;
}
Save styles.less
Expected behavior: The workspace font size changes according to the value set.
This issue has been automatically locked since there has not been any recent activity after it was closed. If you can still reproduce this issue in Safe Mode then please open a new issue and fill out the entire issue template to ensure that we have enough information to address your issue. Thanks!
lockbot
locked and limited conversation to collaborators
Apr 1, 2018
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Prerequisites
Description
There are no option to set the font-size for atom-workspace (everything outside of atom-text-editor) unless you use a theme that supports those changes (like Atom Material UI or One Dark UI ). Setting 'font-size' in atom-workspace does not change anything while setting 'font-family' changes it for most themes.
The current workaround taken from the forum is to do the following each time you change a theme and see if it works with that theme.
Felt like the interaction is pretty confusing at this point.
Steps to Reproduce
Expected behavior: The workspace font size changes according to the value set.
Actual behavior: Nothing happens
Reproduces how often: Everytime
Versions
OS info:
Additional Information
The text was updated successfully, but these errors were encountered: