X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.glade;h=aeed6916d028b87d063cae3d3db46642f6b655d1;hb=17cc22594edc09fa76e03777a9019ec579cd8a1a;hp=6fa420668720790053ddc19afb5057e45b806221;hpb=5de8102af0956488f48ae9bf4941e5867a0f1260;p=pspp diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade index 6fa4206687..aeed6916d0 100644 --- a/src/ui/gui/syntax-editor.glade +++ b/src/ui/gui/syntax-editor.glade @@ -240,7 +240,7 @@ True - _Minimise All Windows + _Minimize All Windows True