private void shellWidgetDisposed(DisposeEvent evt) {
try {
// Save app settings to file
appSettings.store(new FileOutputStream("appsettings.ini"), "");
} catch (FileNotFoundException e) {
} catch (IOException e) {
}
}
private void exitMenuItemWidgetSelected(SelectionEvent evt) {
try {
// Save app settings to file
appSettings.store(new FileOutputStream("appsettings.ini"), "");
} catch (FileNotFoundException e) {
} catch (IOException e) {
}
getShell().dispose();
System.exit(1);
}