Refresh the screen on property changes

There might be no other events if properties are changed
non-interactively, e.g. from a ~/.xsession script.

diff --git a/source/main.c b/source/main.c
index ea508d285693031c08ea7b2d8827ed9413847be9..379b0898d4fd2d2a493df802f231245a9e63da42 100644 (file)
--- a/source/main.c
+++ b/source/main.c
@@ -1322,9 +1322,15 @@ void process_property_event(Compositor *compositor, XPropertyEvent *event)
                return;
 
        if(event->atom==compositor->correction_atom)
+       {
                update_geometry_correction(compositor, screen);
+               mark_dirty(compositor, screen);
+       }
        else if(event->atom==compositor->root_pmap_atom)
+       {
                update_root_pixmap(compositor, screen);
+               mark_dirty(compositor, screen);
+       }
 }
 
 void process_selection_request_event(Compositor *compositor, XSelectionRequestEvent *event)