27 Oct
2008
27 Oct
'08
6:23 p.m.
On Mon, Oct 27, 2008 at 7:45 PM, Ted Gould wrote:
I believe that there is a "new GTK tooltip" than can do all kinds of fun enhanced things. (thing really large and obnoxious) But, in this case I think switching would allow for the bold to work properly.
Not sure if it's really new. GIMP has markup in tooltips for quite a long time. I'll have a look at that, thanks :)
Alexandre