X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=1a1a02f9405e4b4067f781cfd8ad00a4f5155f63;hb=f8fdc760d4ee04801a2da8af0700b2a87f724ae4;hp=a8aa42db42ec7b404c4063c850cbe68dd83c9fca;hpb=a8c96cbb1f8cf84047595f15b47dd407e292325e;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index a8aa42db42..1a1a02f940 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -44,19 +44,6 @@ _Copy - - - windows_menuitem - _Windows - - - - - windows-minimize-all - windows_minimise-all - _Minimize All Windows - - @@ -69,9 +56,6 @@ - - -