void OnFileSelectionOk(object o, EventArgs args)
{
Gtk.Button fsbutton = (Gtk.Button) o;
string filename = window.Filename;
FileSelectionEventArgs fa = new FileSelectionEventArgs (filename);
if (fh != null) {
fh (this, fa);
}
window.Destroy ();
}
void OnFileSelectionOk(object o, EventArgs args)
{
Gtk.Button fsbutton = (Gtk.Button)o;
string filename = window.Filename;
FileSelectionEventArgs fa = new FileSelectionEventArgs(filename);
if (fh != null)
{
fh(this, fa);
}
window.Destroy();
}
void OnOpenFile (object o, FileSelectionEventArgs args)
{
EditorTab etab = NewEditorTab();
try {
etab.editor.LoadFromFile (args.Filename);
}
catch(Exception openFileException) {
Error("Error: Could not open file: \n" +
args.Filename +
"\n\nReason: " +
openFileException.Message);
return;
}
TextBuffer buf = etab.editor.Buffer;
buf.Modified = false;
string basefile = Path.GetFileName (args.Filename);
etab.label.Text = basefile;
etab.basefilename = basefile;
etab.filename = args.Filename;
sourceFileNotebook.CurrentPage = -1;
UpdateTitleBar(etab);
}
void OnSaveAsFile (object o, FileSelectionEventArgs args)
{
int page = sourceFileNotebook.CurrentPage;
EditorTab etab = FindEditorTab(page);
SaveFile(args.Filename);
string basefile = Path.GetFileName (args.Filename);
etab.label.Text = basefile;
etab.basefilename = basefile;
etab.filename = args.Filename;
UpdateTitleBar(etab);
}
void OnSaveExeOutFile (object o, FileSelectionEventArgs args)
{
ExecuteSQL (outType, args.Filename);
}