|
From: | Richard Stallman |
Subject: | Font for ^ and \ |
Date: | Tue, 07 Dec 2004 23:41:05 -0500 |
I find the font for displaying ^ and \ far too strong and distracting. I'd rather not have them highlighted at all than have them highlighted like this.
[Prev in Thread] | Current Thread | [Next in Thread] |