Hello!
I noticed a small inconsistency if I use the Scintilla dwell notification
(I think this is not the intended behaviour). I use Scintilla/gtk under
Windows and X11. The editors are placed in a Notebook widget. The
problem is now that sometimes if the user switch between pages the
editor that was just switched out still get a dwell notification. I added
now in the dwell notification callback a if (has_focus()) { ... }.
Otherwise a calltip was popped for an editor that was not visible (and
thus the calltip remain permanently on the screen until the user switch
back to the editor). Maybe Scintilla should check in
Editor::NotifyDwelling() that it have the focus before send out a
DWELL_START.
Regards,
Frank
_______________________________________________
Scintilla-interest mailing list
[email protected]
http://mailman.lyra.org/mailman/listinfo/scintilla-interest
