X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.glade;h=0bcf5f3e407d8cce0f5207d99c127ebe4136fa7c;hb=5ee84736663824fe12474b78dace867e42893a14;hp=824d24b81fdb8ee2f4b7752fbd254de81b792778;hpb=5de8102af0956488f48ae9bf4941e5867a0f1260;p=pspp-builds.git diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade index 824d24b8..0bcf5f3e 100644 --- a/src/ui/gui/output-viewer.glade +++ b/src/ui/gui/output-viewer.glade @@ -16,7 +16,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - True + False False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK _File @@ -49,7 +49,7 @@ - True + False False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK _Edit @@ -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