Searched refs:old_width (Results 1 – 1 of 1) sorted by relevance
2876 static int old_width = 0; in update_window_manager_hints() local2925 if (width != old_width in update_window_manager_hints()2948 old_width = width; in update_window_manager_hints()