300 450 True GuiHaskell gtk-yes True True True _File True True gtk-open True True True True gtk-quit True True True _Edit True True gtk-cut True True True gtk-copy True True True gtk-paste True True True gtk-delete True True True _View True True _Tools True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK _Refresh True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK gtk-refresh True _Profile True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK gtk-zoom-fit True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK True gtk-preferences True True True _Help True True gtk-about True True False False True True 5 False True True 1 1 True GTK_TOOLBAR_BOTH_HORIZ True True Run True gtk-media-play False True True Stop True gtk-stop False True True Refresh True gtk-refresh False True False False True True Open True gtk-open False True True Recent files True gtk-file False False False True Home tab False False True GTK_TOOLBAR_BOTH_HORIZ True True True 0 False False True True 4 Compiler: False False True True GHCi Hugs False False True True gtk-preferences False 1 False True Options tab 1 False False True GTK_TOOLBAR_BOTH_HORIZ True True Profile True gtk-zoom-fit False 2 False True Tools tab 2 False False False 1 True True Selected File: False False 6 True True GTK_POLICY_NEVER GTK_POLICY_NEVER GTK_SHADOW_IN True True True 1 False False 2 True 0 GTK_SHADOW_IN True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC True True False GTK_WRAP_CHAR 1 3 True 2 2 True True GTK_POLICY_NEVER GTK_POLICY_NEVER GTK_SHADOW_ETCHED_IN 20 True True True False False False 4 19 True False False 5