[4692] in testers
gnome-terminal and boldification
daemon@ATHENA.MIT.EDU (David Z. Maze)
Wed May 30 10:19:00 2001
To: testers@mit.edu
From: "David Z. Maze" <dmaze@MIT.EDU>
Date: 30 May 2001 10:18:54 -0400
Message-ID: <y68r8x6zzqp.fsf@x15-cruise-basselope.mit.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
I occasionally use bolded text for various things in X terminal
emulators (including the current directory name in my shell prompt and
personal zephyrs in vt). This doesn't come out so well in
gnome-terminal; the boldification is just ignored. In gnome-terminal,
this:
echo 'normal ^[[1mbold ^[[0mnormal'
(where ^[ is a literal escape, entered into zsh at least with C-v ESC)
produces "normal bold normal", all unbold (in gray, in my color
scheme, namely "Linux console", "White on black"). Using instead
echo 'normal ^[[37;1mbold ^[[0mnormal'
correctly gets white. Note that I do have the "Enable bold text"
option disabled, since I don't want a difference in font width, but
rather in color. Enabling the option has a heavier font for the
"bolds" in both cases, with the second one being in both a heavy font
and in white.
--
David Maze dmaze@mit.edu http://www.mit.edu/~dmaze/
"Theoretical politics is interesting. Politicking should be illegal."
-- Abra Mitchell
