@Override protected void updateViewState() { if (getView() != null && settingsPanel != null) { settingsPanel.setConstrainer((GridConstrainer) getView().getVisibleConstrainer()); } }
public void setView(DrawingView view) { this.view = view; prefs = PreferencesUtil.userNodeForPackage(getClass()); GridConstrainer constrainer = (GridConstrainer) view.getVisibleConstrainer(); constrainer.setHeight(prefs.getDouble("view.gridSize", 8d)); constrainer.setWidth(prefs.getDouble("view.gridSize", 8d)); }
protected JDialog getDialog() { if (dialog == null) { ResourceBundleUtil labels = ResourceBundleUtil.getBundle("org.jhotdraw.draw.Labels"); dialog = new JDialog(); dialog.setTitle(labels.getString("editGrid")); dialog.setResizable(false); settingsPanel = new EditGridPanel(); dialog.add(settingsPanel); dialog.pack(); Preferences prefs = PreferencesUtil.userNodeForPackage(getClass()); PreferencesUtil.installFramePrefsHandler(prefs, "editGrid", dialog); getApplication().addWindow(dialog, null); } settingsPanel.setConstrainer((GridConstrainer) getView().getVisibleConstrainer()); return dialog; } }
gridSizeField.setFormatterFactory(JavaNumberFormatter.createFormatterFactory(0d, 1000d, 1d, true)); gridSizeField.setHorizontalAlignment(JTextField.LEADING); final GridConstrainer constrainer = (GridConstrainer) view.getVisibleConstrainer(); gridSizeField.addPropertyChangeListener(new PropertyChangeListener() {