atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Changing font size / customizing package

Open allancto opened this issue 8 years ago • 5 comments

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

allancto avatar Dec 16 '16 00:12 allancto

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.

justjoheinz avatar Dec 16 '16 08:12 justjoheinz

@allancto have you tried the font size in the settings panel of the plugin?

archaeron avatar Dec 17 '16 11:12 archaeron

I haven't had any luck with these either. And the font size setting the the package settings doesn't seem to do anything.

aeons avatar Apr 12 '17 12:04 aeons

.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)?

justjoheinz avatar Apr 12 '17 12:04 justjoheinz

Those work, thanks :)

aeons avatar Apr 12 '17 12:04 aeons