void UpdateTitleBar(EditorTab tab)
{
string title = "";
if(tab != null) {
if(tab.filename.Equals(""))
title = tab.label.Text + " - " + ApplicationName;
else
title = tab.filename + " - " + ApplicationName;
}
else {
title = ApplicationName;
}
win.Title = title;
}
void RemoveEditorTab (EditorTab tab, int page)
{
tab.editor.Clear();
tab.editor.Tab = null;
tab.editor = null;
tab.label = null;
editorTabs.Remove(tab);
sourceFileNotebook.RemovePage (page);
sourceFileNotebook.QueueDraw();
tab = null;
}
EditorTab NewEditorTab ()
{
SqlEditorSharp editor;
editor = new SqlEditorSharp ();
editor.UseSyntaxHiLighting = true;
editor.View.Show ();
editor.View.KeyPressEvent +=
new GtkSharp.KeyPressEventHandler(OnKeyPressEventKey);
lastUnknownFile ++;
string unknownFile = "Unknown" +
lastUnknownFile.ToString() + ".sql";
Label label = new Label(unknownFile);
label.Show();
sourceFileNotebook.AppendPage(editor, label);
sourceFileNotebook.ShowAll ();
sourceFileNotebook.ResizeChildren ();
sourceFileNotebook.CurrentPage = -1;
EditorTab tab = new EditorTab();
tab.editor = editor;
tab.label = label;
tab.filename = "";
tab.basefilename = unknownFile;
tab.page = sourceFileNotebook.CurrentPage;
editorTabs.Add(tab);
editor.Tab = tab;
UpdateTitleBar(tab);
return tab;
}