public void set_has_resize_grip (bool value)
Warning: set_has_resize_grip is deprecated since 3.14.
Sets whether this has a corner resize grip.
Resize grips have been removed.
Note that the resize grip is only shown if the window is actually resizable and not maximized. Use resize_grip_is_visible to find out if the resize grip is currently shown.
true to allow a resize grip