atom-ide-purescript icon indicating copy to clipboard operation
atom-ide-purescript copied to clipboard

Published 20 hours ago • verified publisher icon nwolverson

PSCi console font size

Open unthingable opened this issue 7 years ago • 2 comments

PSCi REPL seems to be using the default font size of 14 regardless of editor font, and there is no way to change it.

Having REPL match the editor font size would be a good start, an overridable setting would be even better!

unthingable avatar Feb 11 '18 22:02 unthingable

You can override this in your local user style file

(But feel free to submit a PR)

nwolverson avatar Feb 11 '18 22:02 nwolverson

Updated to use @input-font-size - depending on your UI theme this might not match other text youhttps://github.com/atom/one-dark-ui/issues/205

nwolverson avatar Apr 02 '18 21:04 nwolverson