GuiHaskell 0.1 → 0.1.1
raw patch · 5 files changed
+13/−899 lines, 5 filesdep +containersdep +directorydep +process
Dependencies added: containers, directory, process
Files
- GuiHaskell.cabal +4/−5
- Main.hs +9/−14
- res/about.glade +0/−39
- res/guihaskell.glade +0/−524
- res/prefdialog.glade +0/−317
GuiHaskell.cabal view
@@ -5,15 +5,14 @@ for Haskell that is integrated with other popular Haskell tools. The program uses the PropLang GUI combinator library to declaratively define the relationships between UI elements and data.-Version: 0.1+Version: 0.1.1 License: BSD3 License-file: LICENSE-Author: Neil Mitchell, Asumu Takikawa-Stability: Alpha+Author: Neil Mitchell Homepage: http://www-users.cs.york.ac.uk/~ndm/guihaskell/ Category: Development-Build-Depends: base>=2.0, filepath>=1.0, proplang>=0.1, gtk>=0.9.11, glade>=0.9.11, parsec-Data-files: res/guihaskell.glade res/prefdialog.glade res/about.glade+Build-Type: Simple+Build-Depends: base>=2.0, filepath>=1.0, proplang>=0.1, gtk>=0.9.11, glade>=0.9.11, parsec, process, containers, directory Executable: guihaskell Main-is: Main.hs
Main.hs view
@@ -28,7 +28,7 @@ import Graphics.UI.Gtk.Glade import System.Exit -import System.Posix.Signals +--import System.Posix.Signals import System.Process import Config @@ -169,13 +169,13 @@ tbStop!enabled =<= running -- Tools - tbProfile!onClicked += runProf dat + tbProfile!onClicked += (runProf dat) - -- Config Events - tbPref!onClicked += showWindow wndPref - miPref!onActivated += showWindow wndPref + -- Config events + tbPref!onClicked += (showWindow wndPref) + miPref!onActivated += (showWindow wndPref) -- Hack - tbClose!onClicked += closeWindow wndPref + tbClose!onClicked += (widgetHide $ getWindowRaw wndPref) fbFont!text -<- font fbFont!text =<>= font fbFont!text += setupFonts dat @@ -188,8 +188,7 @@ txtProfCFlags!text =<>= profCFlags txtProfRFlags!text -<- profRFlags txtProfRFlags!text =<>= profRFlags - - -- Key Events + -- Fixed some of the key event bugs. This should work. -- The enter key still doesn't work though... --enterKey <- newVarWithName "enter_key_pressed?" @@ -211,14 +210,10 @@ -- TODO: This should also run "main" too like in most IDEs, -- but concurrency makes that weird miRun!onActivated += refreshCommand dat - miProfile!onActivated += runProf dat - miAbout!onActivated += (runDialogRaw wndAbout >> closeWindow wndAbout) + miProfile!onActivated += (runProf dat) + miAbout!onActivated += (showWindow wndAbout) return () - - where - runDialogRaw = dialogRun . castToDialog . getWindowRaw - closeWindow = widgetHide . getWindowRaw -- -- Sends entered text to processes
− res/about.glade
@@ -1,39 +0,0 @@-<?xml version="1.0" encoding="UTF-8" standalone="no"?>-<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">-<!--Generated with glade3 3.2.2 on Thu Aug 2 05:21:49 2007 by asumu@totoro-->-<glade-interface>- <widget class="GtkAboutDialog" id="wndAbout">- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>- <property name="border_width">5</property>- <property name="title" translatable="yes">About GuiHaskell</property>- <property name="resizable">False</property>- <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>- <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>- <property name="has_separator">False</property>- <property name="name">GuiHaskell</property>- <property name="version">0.0a</property>- <property name="copyright" translatable="yes">Copyright 2007</property>- <property name="comments" translatable="yes">A Haskell IDE written in Haskell.</property>- <property name="website">http://www-users.cs.york.ac.uk/~ndm/guihaskell/</property>- <property name="authors">Neil Mitchell, Asumu Takikawa</property>- <property name="documenters"></property>- <child internal-child="vbox">- <widget class="GtkVBox" id="dialog-vbox3">- <property name="visible">True</property>- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>- <property name="spacing">2</property>- <child internal-child="action_area">- <widget class="GtkHButtonBox" id="dialog-action_area3">- <property name="visible">True</property>- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>- <property name="layout_style">GTK_BUTTONBOX_END</property>- </widget>- <packing>- <property name="expand">False</property>- <property name="pack_type">GTK_PACK_END</property>- </packing>- </child>- </widget>- </child>- </widget>-</glade-interface>
− res/guihaskell.glade
@@ -1,524 +0,0 @@-<?xml version="1.0" encoding="UTF-8" standalone="no"?>-<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">-<!--*- mode: xml -*-->-<glade-interface>- <widget class="GtkWindow" id="wndMain">- <property name="width_request">300</property>- <property name="height_request">450</property>- <property name="visible">True</property>- <property name="title" translatable="yes">GuiHaskell</property>- <property name="icon_name">gtk-yes</property>- <child>- <widget class="GtkVBox" id="vbox1">- <property name="visible">True</property>- <child>- <widget class="GtkMenuBar" id="menubar1">- <property name="visible">True</property>- <child>- <widget class="GtkMenuItem" id="miFile">- <property name="visible">True</property>- <property name="label" translatable="yes">_File</property>- <property name="use_underline">True</property>- <child>- <widget class="GtkMenu" id="menuitem1_menu">- <child>- <widget class="GtkImageMenuItem" id="miOpen">- <property name="visible">True</property>- <property name="label">gtk-open</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- <signal name="activate" handler="evalFile"/>- </widget>- </child>- <child>- <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">- <property name="visible">True</property>- </widget>- </child>- <child>- <widget class="GtkImageMenuItem" id="miQuit">- <property name="visible">True</property>- <property name="label">gtk-quit</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- <signal name="activate" handler="gtk_main_quit"/>- <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>- </widget>- </child>- </widget>- </child>- </widget>- </child>- <child>- <widget class="GtkMenuItem" id="miEdit">- <property name="visible">True</property>- <property name="label" translatable="yes">_Edit</property>- <property name="use_underline">True</property>- <child>- <widget class="GtkMenu" id="menuitem2_menu">- <child>- <widget class="GtkImageMenuItem" id="miCut">- <property name="visible">True</property>- <property name="label">gtk-cut</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- <signal name="activate" handler="on_cut1_activate"/>- </widget>- </child>- <child>- <widget class="GtkImageMenuItem" id="miCopy">- <property name="visible">True</property>- <property name="label">gtk-copy</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- <signal name="activate" handler="on_copy1_activate"/>- </widget>- </child>- <child>- <widget class="GtkImageMenuItem" id="miPaste">- <property name="visible">True</property>- <property name="label">gtk-paste</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- <signal name="activate" handler="on_paste1_activate"/>- </widget>- </child>- <child>- <widget class="GtkImageMenuItem" id="miDelete">- <property name="visible">True</property>- <property name="label">gtk-delete</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- <signal name="activate" handler="on_delete1_activate"/>- </widget>- </child>- </widget>- </child>- </widget>- </child>- <child>- <widget class="GtkMenuItem" id="miView">- <property name="visible">True</property>- <property name="label" translatable="yes">_View</property>- <property name="use_underline">True</property>- </widget>- </child>- <child>- <widget class="GtkMenuItem" id="miTools">- <property name="visible">True</property>- <property name="label" translatable="yes">_Tools</property>- <property name="use_underline">True</property>- <child>- <widget class="GtkMenu" id="menuitem4_menu">- <child>- <widget class="GtkImageMenuItem" id="miRun">- <property name="visible">True</property>- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>- <property name="label" translatable="yes">_Refresh</property>- <property name="use_underline">True</property>- <child internal-child="image">- <widget class="GtkImage" id="menu-item-image2">- <property name="visible">True</property>- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>- <property name="stock">gtk-refresh</property>- </widget>- </child>- </widget>- </child>- <child>- <widget class="GtkImageMenuItem" id="miProfile">- <property name="visible">True</property>- <property name="label" translatable="yes">_Profile</property>- <property name="use_underline">True</property>- <child internal-child="image">- <widget class="GtkImage" id="menu-item-image1">- <property name="visible">True</property>- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>- <property name="stock">gtk-zoom-fit</property>- </widget>- </child>- </widget>- </child>- <child>- <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">- <property name="visible">True</property>- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>- </widget>- </child>- <child>- <widget class="GtkImageMenuItem" id="miPref">- <property name="visible">True</property>- <property name="label">gtk-preferences</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- </widget>- </child>- </widget>- </child>- </widget>- </child>- <child>- <widget class="GtkMenuItem" id="miHelp">- <property name="visible">True</property>- <property name="label" translatable="yes">_Help</property>- <property name="use_underline">True</property>- <child>- <widget class="GtkMenu" id="menuitem4_menu2">- <child>- <widget class="GtkImageMenuItem" id="miAbout">- <property name="visible">True</property>- <property name="label">gtk-about</property>- <property name="use_underline">True</property>- <property name="use_stock">True</property>- </widget>- </child>- </widget>- </child>- </widget>- </child>- </widget>- <packing>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>- <child>- <widget class="GtkNotebook" id="notebook1">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="border_width">5</property>- <property name="show_border">False</property>- <property name="scrollable">True</property>- <child>- <widget class="GtkAlignment" id="alignment1">- <property name="visible">True</property>- <property name="bottom_padding">1</property>- <property name="right_padding">1</property>- <child>- <widget class="GtkToolbar" id="toolbar1">- <property name="visible">True</property>- <property name="toolbar_style">GTK_TOOLBAR_BOTH_HORIZ</property>- <child>- <widget class="GtkToolButton" id="tbRun">- <property name="visible">True</property>- <property name="is_important">True</property>- <property name="label" translatable="yes">Run</property>- <property name="use_underline">True</property>- <property name="stock_id">gtk-media-play</property>- </widget>- <packing>- <property name="expand">False</property>- </packing>- </child>- <child>- <widget class="GtkToolButton" id="tbStop">- <property name="visible">True</property>- <property name="is_important">True</property>- <property name="label" translatable="yes"> Stop</property>- <property name="use_underline">True</property>- <property name="stock_id">gtk-stop</property>- </widget>- <packing>- <property name="expand">False</property>- </packing>- </child>- <child>- <widget class="GtkToolButton" id="tbRestart">- <property name="visible">True</property>- <property name="is_important">True</property>- <property name="label" translatable="yes">Refresh</property>- <property name="use_underline">True</property>- <property name="stock_id">gtk-refresh</property>- </widget>- <packing>- <property name="expand">False</property>- </packing>- </child>- <child>- <widget class="GtkSeparatorToolItem" id="separatortoolitem1">- <property name="visible">True</property>- </widget>- <packing>- <property name="expand">False</property>- <property name="homogeneous">False</property>- </packing>- </child>- <child>- <widget class="GtkToolButton" id="tbOpen">- <property name="visible">True</property>- <property name="is_important">True</property>- <property name="label" translatable="yes"> Open</property>- <property name="use_underline">True</property>- <property name="stock_id">gtk-open</property>- </widget>- <packing>- <property name="expand">False</property>- </packing>- </child>- <child>- <widget class="GtkMenuToolButton" id="tbRecent">- <property name="visible">True</property>- <property name="is_important">True</property>- <property name="label" translatable="yes">Recent files</property>- <property name="use_underline">True</property>- <property name="stock_id">gtk-file</property>- </widget>- <packing>- <property name="expand">False</property>- <property name="homogeneous">False</property>- </packing>- </child>- </widget>- </child>- </widget>- <packing>- <property name="tab_expand">False</property>- </packing>- </child>- <child>- <widget class="GtkLabel" id="label1">- <property name="visible">True</property>- <property name="label" translatable="yes">Home</property>- </widget>- <packing>- <property name="type">tab</property>- <property name="tab_expand">False</property>- <property name="tab_fill">False</property>- </packing>- </child>- <child>- <widget class="GtkToolbar" id="toolbar2">- <property name="visible">True</property>- <property name="toolbar_style">GTK_TOOLBAR_BOTH_HORIZ</property>- <child>- <widget class="GtkToolItem" id="toolitem1">- <property name="visible">True</property>- <child>- <widget class="GtkFontButton" id="fbFont">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="response_id">0</property>- </widget>- </child>- </widget>- <packing>- <property name="expand">False</property>- <property name="homogeneous">False</property>- </packing>- </child>- <child>- <widget class="GtkToolItem" id="toolitem3">- <property name="visible">True</property>- <child>- <widget class="GtkLabel" id="label5">- <property name="visible">True</property>- <property name="xpad">4</property>- <property name="label" translatable="yes">Compiler:</property>- </widget>- </child>- </widget>- <packing>- <property name="expand">False</property>- <property name="homogeneous">False</property>- </packing>- </child>- <child>- <widget class="GtkToolItem" id="toolitem2">- <property name="visible">True</property>- <child>- <widget class="GtkComboBox" id="cbCompiler">- <property name="visible">True</property>- <property name="items" translatable="yes">GHCi-Hugs</property>- </widget>- </child>- </widget>- <packing>- <property name="expand">False</property>- <property name="homogeneous">False</property>- </packing>- </child>- <child>- <widget class="GtkToolButton" id="tbPref">- <property name="visible">True</property>- <property name="is_important">True</property>- <property name="stock_id">gtk-preferences</property>- </widget>- <packing>- <property name="expand">False</property>- </packing>- </child>- </widget>- <packing>- <property name="position">1</property>- <property name="tab_expand">False</property>- </packing>- </child>- <child>- <widget class="GtkLabel" id="label2">- <property name="visible">True</property>- <property name="label" translatable="yes">Options</property>- </widget>- <packing>- <property name="type">tab</property>- <property name="position">1</property>- <property name="tab_expand">False</property>- <property name="tab_fill">False</property>- </packing>- </child>- <child>- <widget class="GtkToolbar" id="toolbar3">- <property name="visible">True</property>- <property name="toolbar_style">GTK_TOOLBAR_BOTH_HORIZ</property>- <child>- <widget class="GtkToolButton" id="tbProfile">- <property name="visible">True</property>- <property name="is_important">True</property>- <property name="label" translatable="yes">Profile</property>- <property name="use_underline">True</property>- <property name="stock_id">gtk-zoom-fit</property>- </widget>- <packing>- <property name="expand">False</property>- </packing>- </child>- </widget>- <packing>- <property name="position">2</property>- <property name="tab_expand">False</property>- </packing>- </child>- <child>- <widget class="GtkLabel" id="label3">- <property name="visible">True</property>- <property name="label" translatable="yes">Tools</property>- </widget>- <packing>- <property name="type">tab</property>- <property name="position">2</property>- <property name="tab_expand">False</property>- <property name="tab_fill">False</property>- </packing>- </child>- </widget>- <packing>- <property name="expand">False</property>- <property name="position">1</property>- </packing>- </child>- <child>- <widget class="GtkHBox" id="hbox1">- <property name="visible">True</property>- <child>- <widget class="GtkLabel" id="label4">- <property name="visible">True</property>- <property name="label" translatable="yes">Selected File:</property>- </widget>- <packing>- <property name="expand">False</property>- <property name="fill">False</property>- <property name="padding">6</property>- </packing>- </child>- <child>- <widget class="GtkScrolledWindow" id="scrolledwindow4">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>- <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>- <property name="shadow_type">GTK_SHADOW_IN</property>- <child>- <widget class="GtkViewport" id="viewport1">- <property name="visible">True</property>- <child>- <widget class="GtkEntry" id="txtSelect">- <property name="visible">True</property>- <property name="can_focus">True</property>- </widget>- </child>- </widget>- </child>- </widget>- <packing>- <property name="position">1</property>- </packing>- </child>- </widget>- <packing>- <property name="expand">False</property>- <property name="fill">False</property>- <property name="position">2</property>- </packing>- </child>- <child>- <widget class="GtkFrame" id="frame1">- <property name="visible">True</property>- <property name="label_xalign">0</property>- <property name="shadow_type">GTK_SHADOW_IN</property>- <child>- <widget class="GtkScrolledWindow" id="scrolledwindow2">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>- <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>- <child>- <widget class="GtkTextView" id="txtOut">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="editable">False</property>- <property name="wrap_mode">GTK_WRAP_CHAR</property>- </widget>- </child>- </widget>- </child>- </widget>- <packing>- <property name="padding">1</property>- <property name="position">3</property>- </packing>- </child>- <child>- <widget class="GtkAlignment" id="alignment2">- <property name="visible">True</property>- <property name="left_padding">2</property>- <property name="right_padding">2</property>- <child>- <widget class="GtkScrolledWindow" id="scrolledwindow3">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>- <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>- <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>- <child>- <widget class="GtkTextView" id="txtIn">- <property name="height_request">20</property>- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="has_focus">True</property>- <property name="accepts_tab">False</property>- </widget>- </child>- </widget>- </child>- </widget>- <packing>- <property name="expand">False</property>- <property name="fill">False</property>- <property name="position">4</property>- </packing>- </child>- <child>- <widget class="GtkStatusbar" id="sb">- <property name="height_request">19</property>- <property name="visible">True</property>- </widget>- <packing>- <property name="expand">False</property>- <property name="fill">False</property>- <property name="position">5</property>- </packing>- </child>- </widget>- </child>- </widget>-</glade-interface>
− res/prefdialog.glade
@@ -1,317 +0,0 @@-<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->-<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">--<glade-interface>--<widget class="GtkWindow" id="wndPref">- <property name="title" translatable="yes">Preferences</property>- <property name="type">GTK_WINDOW_TOPLEVEL</property>- <property name="window_position">GTK_WIN_POS_CENTER</property>- <property name="modal">True</property>- <property name="resizable">True</property>- <property name="destroy_with_parent">False</property>- <property name="decorated">True</property>- <property name="skip_taskbar_hint">False</property>- <property name="skip_pager_hint">False</property>- <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>- <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>- <property name="focus_on_map">True</property>- <property name="urgency_hint">False</property>-- <child>- <widget class="GtkVBox" id="vbox1">- <property name="visible">True</property>- <property name="homogeneous">False</property>- <property name="spacing">0</property>-- <child>- <widget class="GtkNotebook" id="notebook1">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="show_tabs">True</property>- <property name="show_border">True</property>- <property name="tab_pos">GTK_POS_TOP</property>- <property name="scrollable">False</property>- <property name="enable_popup">False</property>-- <child>- <widget class="GtkVBox" id="vbox3">- <property name="visible">True</property>- <property name="homogeneous">False</property>- <property name="spacing">0</property>-- <child>- <widget class="GtkHBox" id="hbox3">- <property name="visible">True</property>- <property name="homogeneous">False</property>- <property name="spacing">0</property>-- <child>- <widget class="GtkLabel" id="label9">- <property name="visible">True</property>- <property name="label" translatable="yes">Executable name: </property>- <property name="use_underline">False</property>- <property name="use_markup">False</property>- <property name="justify">GTK_JUSTIFY_LEFT</property>- <property name="wrap">False</property>- <property name="selectable">False</property>- <property name="xalign">0.5</property>- <property name="yalign">0.5</property>- <property name="xpad">0</property>- <property name="ypad">0</property>- <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>- <property name="width_chars">-1</property>- <property name="single_line_mode">False</property>- <property name="angle">0</property>- </widget>- <packing>- <property name="padding">15</property>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>-- <child>- <widget class="GtkEntry" id="txtExecutable">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="editable">True</property>- <property name="visibility">True</property>- <property name="max_length">0</property>- <property name="text" translatable="yes"></property>- <property name="has_frame">True</property>- <property name="invisible_char">●</property>- <property name="activates_default">False</property>- </widget>- <packing>- <property name="padding">15</property>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>- </widget>- <packing>- <property name="padding">0</property>- <property name="expand">True</property>- <property name="fill">True</property>- </packing>- </child>- </widget>- <packing>- <property name="tab_expand">False</property>- <property name="tab_fill">True</property>- </packing>- </child>-- <child>- <widget class="GtkLabel" id="label8">- <property name="visible">True</property>- <property name="label" translatable="yes">Compilation</property>- <property name="use_underline">False</property>- <property name="use_markup">False</property>- <property name="justify">GTK_JUSTIFY_LEFT</property>- <property name="wrap">False</property>- <property name="selectable">False</property>- <property name="xalign">0.5</property>- <property name="yalign">0.5</property>- <property name="xpad">0</property>- <property name="ypad">0</property>- <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>- <property name="width_chars">-1</property>- <property name="single_line_mode">False</property>- <property name="angle">0</property>- </widget>- <packing>- <property name="type">tab</property>- </packing>- </child>-- <child>- <widget class="GtkVBox" id="vbox2">- <property name="visible">True</property>- <property name="homogeneous">False</property>- <property name="spacing">0</property>-- <child>- <widget class="GtkHBox" id="hbox1">- <property name="visible">True</property>- <property name="homogeneous">False</property>- <property name="spacing">0</property>-- <child>- <widget class="GtkLabel" id="label6">- <property name="visible">True</property>- <property name="label" translatable="yes">Compile Flags:</property>- <property name="use_underline">False</property>- <property name="use_markup">False</property>- <property name="justify">GTK_JUSTIFY_LEFT</property>- <property name="wrap">False</property>- <property name="selectable">False</property>- <property name="xalign">0.5</property>- <property name="yalign">0.5</property>- <property name="xpad">0</property>- <property name="ypad">0</property>- <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>- <property name="width_chars">-1</property>- <property name="single_line_mode">False</property>- <property name="angle">0</property>- </widget>- <packing>- <property name="padding">15</property>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>-- <child>- <widget class="GtkEntry" id="txtProfCFlags">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="editable">True</property>- <property name="visibility">True</property>- <property name="max_length">0</property>- <property name="text" translatable="yes"></property>- <property name="has_frame">True</property>- <property name="invisible_char">●</property>- <property name="activates_default">False</property>- </widget>- <packing>- <property name="padding">15</property>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>- </widget>- <packing>- <property name="padding">0</property>- <property name="expand">True</property>- <property name="fill">True</property>- </packing>- </child>-- <child>- <widget class="GtkHBox" id="hbox2">- <property name="visible">True</property>- <property name="homogeneous">False</property>- <property name="spacing">0</property>-- <child>- <widget class="GtkLabel" id="label7">- <property name="visible">True</property>- <property name="label" translatable="yes">Runtime Flags:</property>- <property name="use_underline">False</property>- <property name="use_markup">False</property>- <property name="justify">GTK_JUSTIFY_LEFT</property>- <property name="wrap">False</property>- <property name="selectable">False</property>- <property name="xalign">0.5</property>- <property name="yalign">0.5</property>- <property name="xpad">0</property>- <property name="ypad">0</property>- <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>- <property name="width_chars">-1</property>- <property name="single_line_mode">False</property>- <property name="angle">0</property>- </widget>- <packing>- <property name="padding">15</property>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>-- <child>- <widget class="GtkEntry" id="txtProfRFlags">- <property name="visible">True</property>- <property name="can_focus">True</property>- <property name="editable">True</property>- <property name="visibility">True</property>- <property name="max_length">0</property>- <property name="text" translatable="yes"></property>- <property name="has_frame">True</property>- <property name="invisible_char">●</property>- <property name="activates_default">False</property>- </widget>- <packing>- <property name="padding">15</property>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>- </widget>- <packing>- <property name="padding">0</property>- <property name="expand">True</property>- <property name="fill">True</property>- </packing>- </child>- </widget>- <packing>- <property name="tab_expand">False</property>- <property name="tab_fill">True</property>- </packing>- </child>-- <child>- <widget class="GtkLabel" id="label3">- <property name="visible">True</property>- <property name="label" translatable="yes">Profiler</property>- <property name="use_underline">False</property>- <property name="use_markup">False</property>- <property name="justify">GTK_JUSTIFY_LEFT</property>- <property name="wrap">False</property>- <property name="selectable">False</property>- <property name="xalign">0.5</property>- <property name="yalign">0.5</property>- <property name="xpad">0</property>- <property name="ypad">0</property>- <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>- <property name="width_chars">-1</property>- <property name="single_line_mode">False</property>- <property name="angle">0</property>- </widget>- <packing>- <property name="type">tab</property>- </packing>- </child>- </widget>- <packing>- <property name="padding">10</property>- <property name="expand">True</property>- <property name="fill">True</property>- </packing>- </child>-- <child>- <widget class="GtkToolbar" id="toolbar1">- <property name="visible">True</property>- <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>- <property name="toolbar_style">GTK_TOOLBAR_BOTH_HORIZ</property>- <property name="tooltips">True</property>- <property name="show_arrow">True</property>-- <child>- <widget class="GtkToolButton" id="tbClose">- <property name="visible">True</property>- <property name="stock_id">gtk-close</property>- <property name="visible_horizontal">True</property>- <property name="visible_vertical">True</property>- <property name="is_important">True</property>- </widget>- <packing>- <property name="expand">False</property>- <property name="homogeneous">True</property>- </packing>- </child>- </widget>- <packing>- <property name="padding">4</property>- <property name="expand">False</property>- <property name="fill">False</property>- </packing>- </child>- </widget>- </child>-</widget>--</glade-interface>