|  | 
| 
 Public Member Functions | 
| void | UnselectAllCommands () | 
|  | Unselects all commands and shows the lastest used commands. 
 | 
| string | GetAndSelectNthCommand (int commandNumber) | 
|  | Get an old command from the command history store. 
 | 
| 
 Private Member Functions | 
| internal | ShellWindow (Shell shell, GtkGui gtkGui) | 
| void | MakeMenu () | 
| void | OnOpenMenu (object sender, EventArgs args) | 
| void | OnSaveAsMenu (object sender, EventArgs args) | 
| void | OnQuitMenu (object sender, EventArgs args) | 
| void | OnPathMenu (object sender, EventArgs args) | 
| void | OnSettingsWindowDestroyed (object sender, EventArgs e) | 
| void | OnAboutMenu (object sender, EventArgs args) | 
| void | AfterRun () | 
|  | Function that is called after the Application.Run() call. 
 | 
| void | MakeSourceEditor () | 
|  | Construct the source editor SourceView. 
 | 
| void | MakeOutputTextView () | 
|  | Sets an "end"-TextMark and redirects output streams to the outputTextView. 
 | 
| internal void | OnOutputEvent () | 
| internal void | OnErrorOutput () | 
| internal void | MakeOutput (ThreadProxy proxy, TextTag tag) | 
| void | MakeInfoNotebook () | 
|  | Makes the contents for the info-notebook (tabbed widget). 
 | 
| void | RecallWindowSize () | 
|  | Recalls the window size from the Config class and adjustes the position if the window borders is beyond the screen. 
 | 
| void | RecallPanes () | 
|  | Recall the pane sizes from the Config class. 
 | 
| void | RecallNotebook () | 
|  | Recalls the active page. 
 | 
| void | MakeCommandHistory () | 
|  | Makes the columns in the command history tab. 
 | 
| internal void | OnCommandAddedEvent () | 
| internal void | OnNewCommandHistoryEvent () | 
| internal void | OnWindowResizeEvent (object o, EventArgs args) | 
| internal void | OnVerticalMoveHandleEvent (object o, MoveHandleArgs args) | 
| internal void | OnInfoSwitchPageEvent (object o, SwitchPageArgs args) | 
| internal void | OnWindowDeleteEvent (object o, DeleteEventArgs args) | 
| internal void | Quit () | 
|  | Should be called when we need to exit the application. 
 | 
| internal void | OnExecButtonEvent (object o, EventArgs args) | 
| internal void | ExecButtonThread () | 
| internal void | ResensitiveExecButton () | 
| internal void | OnCursorChangedEvent (object o, EventArgs args) | 
| 
 Private Attributes | 
| ThreadProxy | outputProxy | 
| ThreadProxy | errorOutputProxy | 
| Gtk.TextMark | endMark | 
| TextTag | normalOutputTag | 
| TextTag | errorOutputTag | 
| ThreadProxy | commandAdded | 
| Gtk.Window | shellWindow | 
| SourceEditorWidget | commandSourceEditor | 
| Gtk.ScrolledWindow | commandScrolledWindow | 
| Gtk.TextView | outputTextView | 
| TreeView | historyTable | 
| Gtk.Notebook | infoNotebook | 
| Gtk.VPaned | verticalPane | 
| Gtk.HPaned | horizontalPane | 
| Gtk.Button | executeButton | 
| Gtk.ImageMenuItem | newMenu | 
| Gtk.ImageMenuItem | openMenu | 
| Gtk.ImageMenuItem | saveMenu | 
| Gtk.ImageMenuItem | saveAsMenu | 
| Gtk.MenuItem | projectSettingsMenu | 
| Gtk.ImageMenuItem | quitMenu | 
| Gtk.ImageMenuItem | cutMenu | 
| Gtk.ImageMenuItem | copyMenu | 
| Gtk.ImageMenuItem | pasteMenu | 
| Gtk.ImageMenuItem | deleteMenu | 
| Gtk.MenuItem | showGeneratedSourceMenu | 
| Gtk.MenuItem | aboutMenu | 
| Window | projectSettingsWindow | 
| TreeStore | _store | 
| Shell | _shell | 
| GtkGui | _gtkGui | 
| Pango.FontDescription | fontDescription |