On Wed, 2008-10-22 at 19:49 -0700, Jon A. Cruz wrote:
> On Oct 22, 2008, at 3:20 PM, Alexandre Prokoudine wrote:
> > On Tue, Oct 21, 2008 at 3:47 AM, bulia byak wrote:
> >> On Mon, Oct 20, 2008 at 8:14 PM, Alexandre Prokoudine
> >> <alexandre.prokoudine@...> wrote:
> >>> Thus the question: in case we will still show hotkeys in tooltips in
> >>> stable 0.47, should we show both?
> >> I think this was discussed a few versions ago. Of course feel free to
> >> add both, using "or" because a comma may be confusing.
> > Tried that, and <b></b> markup doesn't work for tooltips :-/
> There is an ongoing problem that in one context the markup is
> supported, but in another it is not. If we try to use a single source
> string for two display areas (tooltips and status, perhaps), then
> problems are encountered.
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.