4e0f5a1 fixed so that the "close" button of window managers closes down the

Authored and Committed by pbrown 25 years ago
    fixed so that the "close" button of window managers closes down the
    programs properly.
    
        
file modified
+7 -4