private void restoreGUIConfiguration(GUIconfig config)
{
currentPage = config.currentPage;
windowIsMinimized = config.windowIsMinimized;
//windowPositionInvalid = true;
windowSizeInvalid = true;
// save other stuff too?
}
public void getGUIConfiguration(out GUIconfig config)
{
config = new GUIconfig();
config.currentPage = currentPage;
config.windowIsMinimized = windowIsMinimized;
}
