Searched refs:shape_changed (Results 1 – 1 of 1) sorted by relevance
2920 int shape_changed = FALSE; // adjusted cursor shape in vgetorpeek() local3119 shape_changed = TRUE; in vgetorpeek()3417 if (gui.in_use && shape_changed) in vgetorpeek()