Re: gnome-terminal: no bold, no extending selection

[Miguel de Icaza <miguel nuclecu unam mx>]

> bold doesn't work:
> in bash:
> PS1="(${tt})\[\033[7m\]\t\[\033[m\] \[\033[1m\]\u@\h:\w [\#]\\$\[\033[m\] "
> the `bold' part (\u@\h:\w [\#]\\$) is shown normally (not bold)

get gnome-libs 1.0.8/gnome-core 1.0.5

> Also, mouse3 still does not extend selection.
> [this is bug 397, it was closed by the gnome-terminal author with
> comment that it is about to be fixed]

get gnome-libs 1.0.8

> No, I do ***NOT*** understand the above message.
> Yes, I ***DID*** read http://bugs.gnome.org/Reporting.html.

32 megs of memory went to lalaland in my machine, I lost about 15 bug
messages.  This was one of them.

Miguel.
-- 
miguel@gnu.org