settings dialog says "Pygments style"

[Akuli]

It would be better to say "Color theme for editing" and "Color theme for output of commands". I no longer expect all Porcupine users to know what Pygments is.

[ethical-haquer]

It would be better to say "Color theme for editing" and "Color theme for output of commands". I no longer expect all Porcupine users to know what Pygments is.

What about "Theme used for editor", and "Theme used for command output"?

[Moosems]

You can assign me this :D

[Akuli]

"Theme used for editor", and "Theme used for command output"?

Those are far better than "Pygments style", but I think the meaning is the most obvious if we call them "color themes" rather than "themes". Colors are the main thing they do.

[Moosems]

Looking into this a little more I'm not sure this is a great idea...

    ``pygments_style``: :class:`str`
        Name of the current Pygments style used for syntax highlighting.
        Use this option like this::

            from porcupine import settings
            from pygments import styles
            the_style = styles.get_style_by_name(settings.get('pygments_style', str))

[Akuli]

The setting name doesn't need to match what's in UI. The UI needs to be understandable for users, the setting needs to be precise and clear for Porcupine developers.

[Moosems]

Ok, I'll do this with the settings dialog soon then

[Moosems]

Mind if I put both in a single PR or would you prefer them separate?

[Akuli]

Just make a single PR.

[rdbende]

I think you could also make a PR for every character change.