X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.glade;h=76770e9fbdc8ac41c5c6632447170fa3a677937a;hb=cd7df218e1f2798b4ac8e193558a67e6ad59e3ed;hp=dfc2663f7893e0a06b89a22d77b8cd0cd6b98bb2;hpb=5a255c3dcf7eda570645f7c3635d6a3ef9a084d0;p=pspp-builds.git diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade index dfc2663f..76770e9f 100644 --- a/src/ui/gui/output-viewer.glade +++ b/src/ui/gui/output-viewer.glade @@ -11,7 +11,7 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -81,31 +81,6 @@ - - - True - _Help - True - - - - - True - _Reference Manual - True - - - - - True - _About - True - - - - - - False