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@...400...> 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.
--Ted