atom-language-idris
atom-language-idris copied to clipboard
Changing font size / customizing package
This is presumably a generic issue for Atom, but it's not clear to me how to make the font size big enough so that the wonderful responses which appear after I ctrl-alt-R are big enough to read!! I can change the buffer text size with styles.less, so i presume the same kind of thing is easily possible, but where?
Perhaps we just need a guide to customizing the package behavior?
Full disclosure: this Atom package is the best thing EVER, kudos and thanks to each of the authors!
Allan
In your ~/.atom/styles.less
file you might be able to add e.g.
.atom-panel {
font-size: 15px
}
Looking briefly at some Atom sites I think this is not customizable yet. If you find something, let us know.
@allancto have you tried the font size in the settings panel of the plugin?
I haven't had any luck with these either. And the font size setting the the package settings doesn't seem to do anything.
.tool-panel {
font-size: 15px
}
.panel-heading {
font-size: 15px
}
.line-message .preview {
font-size: 15px
}
Can you play around with these settings in the styles.less (Application: Open your stylesheet Cmd)?
Those work, thanks :)