public final void pressed(MouseEvent e) {
eventKind = LocalSettings.mouseDownTextItemMeans(e);
if ((eventKind & TextSelMask) != 0) textpressed(eventKind, e);
else pressed(eventKind, e);
}
private void saveSettings() {
if (localSettings != null) {
localSettings.objectDirectory = levelHolder.getPalette().getDirectoryPath();
localSettings.mainWidth = this.getWidth();
localSettings.mainHeight = this.getHeight();
localSettings.paletteX = palette.getX();
localSettings.paletteY = palette.getY();
localSettings.paletteWidth = palette.getWidth();
localSettings.paletteHeight = palette.getHeight();
localSettings.levelHolderX = levelHolderFrame.getX();
localSettings.levelHolderY = levelHolderFrame.getY();
localSettings.levelHolderWidth = levelHolderFrame.getWidth();
localSettings.levelHolderHeight = levelHolderFrame.getHeight();
localSettings.store();
} else {
localSettings = new LocalSettings();
}
}
