28 Oct
2010
28 Oct
'10
4:32 p.m.
* Mark H. David [2010-10-28 16:07] writes:
Is there an easy way to turn off fonts in the REPL?
No, nothing convenient. The easiest way is probably to customize the faces that you find annoying.
When I do M-x font-lock-mode to disable fonts, it's ignored.
slime-repl-mode doesn't use font-lock-mode so it's no surprise that it's ignored.
Helmut