Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > de.comp.lang.python > #4317

[Python-de] Fontify py-shell buffer

From Andreas Röhler <andreas.roehler@online.de>
Newsgroups de.comp.lang.python
Subject [Python-de] Fontify py-shell buffer
Date 2016-03-08 09:41 +0100
Message-ID <mailman.37.1457426439.15725.python-de@python.org> (permalink)

Show all headers | View raw


WRT latest commit:

new customizable `py-shell-fontify-style' offers some choice how to 
fontify py-shell buffer:

"input" will leave previous IN/OUT unfontified.
"all" keeps output fontified too.

Default is nil, no fontification. Maybe change the default?

Cheers,

Andreas

Back to de.comp.lang.python | Previous | Next | Find similar


Thread

[Python-de] Fontify py-shell buffer Andreas Röhler <andreas.roehler@online.de> - 2016-03-08 09:41 +0100

csiph-web