Searched refs:old_min_width (Results 1 – 1 of 1) sorted by relevance
2878 static int old_min_width = 0; in update_window_manager_hints() local2927 || min_width != old_min_width in update_window_manager_hints()2950 old_min_width = min_width; in update_window_manager_hints()