-
Paolo Borelli authored
The property is now handled automatically by GtkWindow. Note however that the new code still misses some proper padding in the corner when the window is maximized.
97ad874a
The property is now handled automatically by GtkWindow. Note however that the new code still misses some proper padding in the corner when the window is maximized.