mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2024-11-17 21:30:19 +02:00
eeshow/gui/glabel.c (hover_glabel): more discussion of "hanging" pop-ups
This commit is contained in:
parent
ff47d69d25
commit
dbcacbde0c
@ -260,11 +260,20 @@ static bool hover_glabel(void *user, bool on)
|
|||||||
* instead the box, either in general, or in this specific case. Not
|
* instead the box, either in general, or in this specific case. Not
|
||||||
* sure if it's worth the trouble, though.
|
* sure if it's worth the trouble, though.
|
||||||
*
|
*
|
||||||
|
* Another way to avoid the problem would be to size the pop-up such
|
||||||
|
* that it always includes the mouse position. But that could lead to
|
||||||
|
* rather weird-looking results at deep high zoom levels.
|
||||||
|
*
|
||||||
|
* Yet another option would be to move the mouse pointer onto the
|
||||||
|
* pop-up. The problem with this is that forced mouse pointer movement
|
||||||
|
* is not appreciated by all users.
|
||||||
|
*
|
||||||
* Both issues result in a "hanging" pop-up because AoI (and input)
|
* Both issues result in a "hanging" pop-up because AoI (and input)
|
||||||
* don't even know we're hovering. The pop-up can be cleared by
|
* don't even know we're hovering. The pop-up can be cleared by
|
||||||
* - hovering into it,
|
* - hovering into it,
|
||||||
* - hovering over some other glabel, or
|
* - hovering over some other glabel,
|
||||||
* - clicking.
|
* - clicking, or
|
||||||
|
* - pressing Escape.
|
||||||
*/
|
*/
|
||||||
input_update();
|
input_update();
|
||||||
redraw(ctx);
|
redraw(ctx);
|
||||||
|
Loading…
Reference in New Issue
Block a user