Searched refs:right_docks_width (Results 1 – 1 of 1) sorted by relevance
1016 gint right_docks_width = G_MININT; in gimp_image_window_set_aux_info() local1037 width = &right_docks_width; in gimp_image_window_set_aux_info()1039 width = &right_docks_width; in gimp_image_window_set_aux_info()1070 if (right_docks_width != G_MININT && in gimp_image_window_set_aux_info()1072 right_docks_width) in gimp_image_window_set_aux_info()1074 if (wait_with_right_docks || right_docks_width > 0) in gimp_image_window_set_aux_info()1081 GINT_TO_POINTER (right_docks_width), NULL, in gimp_image_window_set_aux_info()1091 - right_docks_width); in gimp_image_window_set_aux_info()