23 Oct
2008
23 Oct
'08
2:49 a.m.
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.