X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foutput-viewer.glade;h=d7009e72bb3625fef6ddd7638685262781ff6a50;hb=1881aaf56cd19765028c365e11ec0c97cc9d0320;hp=824d24b81fdb8ee2f4b7752fbd254de81b792778;hpb=5de8102af0956488f48ae9bf4941e5867a0f1260;p=pspp diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade index 824d24b81f..d7009e72bb 100644 --- a/src/ui/gui/output-viewer.glade +++ b/src/ui/gui/output-viewer.glade @@ -85,7 +85,7 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - _Minimise All Windows + _Minimize All Windows True