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(); } }