protected WidgetWrapper addWidget( Widget widget, int x, int y, boolean select, boolean loadingWidget) { java.awt.Dimension size = widget.getSize(); WidgetWrapper wrapper = new WidgetWrapper(widget, this); wrapper.setVisible(false); // we need to add the wrapper before we can call wrapper.getPreferredSize(), because // that method looks at its parent and sees if it's an InterfacePanel // and zooms accordingly - ST 6/16/02 add(wrapper, DEFAULT_LAYER); moveToFront(wrapper); if (select || !loadingWidget) { wrapper.setSize(wrapper.getPreferredSize()); } else { wrapper.setSize(size); // //wrapper.getPreferredSize()); } if (workspace.snapOn() && !loadingWidget) { int gridX = (x / GRID_SNAP) * GRID_SNAP; int gridY = (y / GRID_SNAP) * GRID_SNAP; wrapper.setLocation(gridX, gridY); } else { wrapper.setLocation(x, y); } wrapper.validate(); wrapper.setVisible(true); zoomer.zoomWidget(wrapper, true, loadingWidget, 1.0, zoomer.zoomFactor()); if (select) { newWidget = wrapper; newWidget.originalBounds = newWidget.getBounds(); newWidget.setCursor(java.awt.Cursor.getPredefinedCursor(java.awt.Cursor.CROSSHAIR_CURSOR)); } org.nlogo.log.Logger.logAddWidget(widget.classDisplayName(), widget.displayName()); return wrapper; }
public boolean isZoomed() { return zoomer.zoomFactor() != 1.0; }