Re: [ jEdit-devel ] Looking For ToolTip Delay

[mike d. <md...@je...>]

begin mike dillon quotation:
> Although I don't know what the problem could be, I would test it in a
> startup script first before giving up.

Oh, wait. I do know what the problem is. There is also the "reshow
delay" that needs to be set. This is the time limit for which
re-entering a component where a tooltip was just hidden will reshow the
tooltip (so you want a high initial delay and a low reshow delay).
Try this instead (tested as a startup script):

void setToolTipDelay(initial, reshow) {
        manager = ToolTipManager.sharedInstance();
        manager.setInitialDelay(initial);
        manager.setReshowDelay(reshow);
}

setToolTipDelay(1000, 10);

-md