void set_decorations(GdkWMDecoration decorations);