private AppWindow() : base(AppSettings.WindowTitle)
{
// Set up window properties
SetSizeRequest(
AppSettings.MinWindowSize.Item1,
AppSettings.MinWindowSize.Item2
);
Resize(
AppSettings.DefaultWindowSize.Item1,
AppSettings.DefaultWindowSize.Item2
);
DeleteEvent += (object sender, DeleteEventArgs args) => {
Application.Quit();
};
currentFile = "";
buildGui();
ipaView = new IpaKeyboardView();
docView = new LanguageDocumentationView();
dictView = new DictionaryView();
exView = new ExampleListView();
currView = ViewType.IpaKeyboard;
viewContainer.Add(ipaView);
}
private void newFile()
{
ipaView.Dispose();
docView.Dispose();
dictView.Dispose();
exView.Dispose();
ipaView = new IpaKeyboardView();
docView = new LanguageDocumentationView();
dictView = new DictionaryView();
exView = new ExampleListView();
currentFile = "";
Title = AppSettings.WindowTitle;
currView = ViewType.IpaKeyboard;
viewContainer.Add(ipaView);
ShowAll();
}
