public MainWindow()
: base("Katahdin Debugger")
{
SetDefaultSize(500, 400);
try
{
PathResolver pathResolver = new PathResolver();
SetIconFromFile(pathResolver.Resolve("katahdin.svg"));
}
catch
{
}
Destroyed += delegate
{
if (runtimeThread != null)
runtimeThread.Shutdown();
};
VBox vertical = new VBox();
Add(vertical);
MenuBuilder menuBuilder = new MenuBuilder();
MenuBar menuBar = menuBuilder.StartMenuBar();
vertical.PackStart(menuBar, false, false, 0);
menuBuilder.StartMenu("Debug");
debugRun = menuBuilder.Add("Run", OnDebugRun);
menuBuilder.End();
menuBuilder.StartMenu("View");
viewGrammar = menuBuilder.AddCheck("Grammar", OnViewGrammarToggled);
viewParseTrace = menuBuilder.AddCheck("Parse Trace", OnViewParseTraceToggled);
viewParseTree = menuBuilder.AddCheck("Parse Tree", OnViewParseTreeToggled);
menuBuilder.Separate();
menuBuilder.Add("View runtime object", OnViewRuntimeModule);
menuBuilder.End();
menuBuilder.End();
console = new ConsoleWidget();
vertical.PackStart(console, true, true, 0);
vertical.PackStart(new HSeparator(), false, false, 0);
HBox statusBar = new HBox();
vertical.PackStart(statusBar, false, false, 1);
progress = new ProgressBar();
statusBar.PackStart(progress, false, false, 1);
statusLabel = new Label();
statusLabel.SetAlignment(0, (float) 0.5);
statusLabel.LineWrap = true;
statusBar.PackStart(statusLabel, true, true, 0);
}
public MainWindow()
: base("Katahdin Debugger")
{
SetDefaultSize(500, 400);
try
{
PathResolver pathResolver = new PathResolver();
SetIconFromFile(pathResolver.Resolve("katahdin.svg"));
}
catch
{
}
Destroyed += delegate
{
if (runtimeThread != null)
{
runtimeThread.Shutdown();
}
};
VBox vertical = new VBox();
Add(vertical);
MenuBuilder menuBuilder = new MenuBuilder();
MenuBar menuBar = menuBuilder.StartMenuBar();
vertical.PackStart(menuBar, false, false, 0);
menuBuilder.StartMenu("Debug");
debugRun = menuBuilder.Add("Run", OnDebugRun);
menuBuilder.End();
menuBuilder.StartMenu("View");
viewGrammar = menuBuilder.AddCheck("Grammar", OnViewGrammarToggled);
viewParseTrace = menuBuilder.AddCheck("Parse Trace", OnViewParseTraceToggled);
viewParseTree = menuBuilder.AddCheck("Parse Tree", OnViewParseTreeToggled);
menuBuilder.Separate();
menuBuilder.Add("View runtime object", OnViewRuntimeModule);
menuBuilder.End();
menuBuilder.End();
console = new ConsoleWidget();
vertical.PackStart(console, true, true, 0);
vertical.PackStart(new HSeparator(), false, false, 0);
HBox statusBar = new HBox();
vertical.PackStart(statusBar, false, false, 1);
progress = new ProgressBar();
statusBar.PackStart(progress, false, false, 1);
statusLabel = new Label();
statusLabel.SetAlignment(0, (float)0.5);
statusLabel.LineWrap = true;
statusBar.PackStart(statusLabel, true, true, 0);
}
