morassman/process-palette

Add setting for specifying font size in output panel

morassman opened this issue · 4 comments

morassman commented
Add setting for specifying font size in output panel
hg42 commented

I think atom's philosophy is to do this in the styles file.
Some text in the docs could point to this.

morassman commented

Not everyone is necessarily savvy enough to do this in the styles file. By providing a setting it would be easy for anyone to change. Even Atom doesn't expect one to do this via the styles file and provides a setting for font size.

  • 👍1
hg42 commented

I expected this reply :-)
I agree partly, but I don't see many packages providing such a setting.

Atom's font setting is actually the reason why I would vote against the setting.

  1. it's unclear if the setting or the style has precedence
  2. worst case would be if the setting has precedence
  3. you cannot privide everything the style could do and you are hiding the styles file from the user

Obviously all this can be solved, by giving the styles file precedence and adding some text to the setting that points to the styles file.

hg42 commented

btw. it would be nice for non-developers to get a clear definition of the existing which styles and their structure.