@Override public final void updateVisualStyleRepaint(GProperty prop) { updateVisualStyle(prop); kernel.notifyRepaint(); }
/** * @param font * new font */ public void setFont(GFont font) { this.font = font; geoButton.getKernel().notifyRepaint(); }
/** * Updates this object and all dependent ones. Notifies kernel to repaint * views. * * @param dragging * whether this was triggered by drag */ public void updateRepaint(boolean dragging) { updateCascade(dragging); kernel.notifyRepaint(); }
public final void updateNavBarsAndRepaint() { // update all registered navigation bars kernel.notifyRepaint(); int size = navigationBars.size(); for (int i = 0; i < size; i++) { navigationBars.get(i).update(); } }
protected final void moveLabel() { movedLabelGeoElement.setLabelOffset( (oldLoc.x + mouseLoc.x) - startLoc.x, (oldLoc.y + mouseLoc.y) - startLoc.y); // no update cascade needed movedLabelGeoElement.update(); kernel.notifyRepaint(); }
@Override public void highlight(GeoElement geo) { if (getEuclidianController().highlight(geo)) { kernel.notifyRepaint(); } }
/** * Deletes the object with the given name. */ @Override public synchronized void deleteObject(String objName) { GeoElement geo = kernel.lookupLabel(objName); if (geo == null) { return; } geo.remove(); kernel.notifyRepaint(); }
/** * This should not be used, just overriden in AppW */ public void scheduleUpdateConstruction() { kernel.getConstruction().updateConstructionLaTeX(); kernel.notifyRepaint(); }
private void cleanOldSliders() { if (sliders != null) { for (int i = 0; i < sliders.length; i++) { GeoElement slider = kernel.lookupLabel(sliders[i].trim()); slider.setFixed(false); slider.remove(); } kernel.notifyRepaint(); sliders = null; } }
/** * Invert visibility of labels of all selected objects */ final public void showHideSelectionLabels() { for (int i = 0; i < selectedGeos.size(); i++) { GeoElement geo = selectedGeos.get(i); geo.setLabelVisible(!geo.isLabelVisible()); geo.updateVisualStyle(GProperty.LABEL_STYLE); } kernel.notifyRepaint(); updateSelection(); }
@Override public void setPointCapture(int view, int capture) { int index = view < 0 ? 3 : view; if (index < 1 || index > 3) { return; } EuclidianSettings evs = app.getSettings().getEuclidian(index); evs.setPointCapturing(capture); kernel.notifyRepaint(); }
@Override public void updateBackground() { // make sure axis number formats are up to date setAxesIntervals(getZscale(), 2); super.updateBackground(); kernel.notifyRepaint(); }
@Override final public void mouseMovedOverList(ArrayList<GeoElement> geoList) { Hits geos = null; tempArrayList.clear(); tempArrayList.addAll(geoList); geos = tempArrayList; boolean repaintNeeded = getEuclidianController().refreshHighlighting( geos, false); if (repaintNeeded) { kernel.notifyRepaint(); } }
protected void movePointWithOffset(boolean repaint) { movedGeoPoint.setCoords( DoubleUtil.checkDecimalFraction(xRW - transformCoordsOffset[0]), DoubleUtil.checkDecimalFraction(yRW - transformCoordsOffset[1]), 1.0); movedGeoPoint.updateCascade(); if (repaint) { kernel.notifyRepaint(); } }
public void setSequential(boolean b) { GeoElement geo; for (int i = 0; i < getGeosLength(); i++) { geo = getGeoAt(i); geo.setAutoColor(b); geo.updateVisualStyle(GProperty.COLOR); } kernel.notifyRepaint(); }
/** * Update backgrounds and repaint views. */ public void refreshViews() { getEuclidianView1().updateBackground(); if (hasEuclidianView2(1)) { getEuclidianView2(1).updateBackground(); } kernel.notifyRepaint(); }
public void applyModeChanges(int mode, boolean visible) { GeoElement geo; for (int i = 0; i < getGeosLength(); i++) { geo = getGeoAt(i); geo.setLabelVisible(visible); geo.setLabelMode(mode); geo.updateVisualStyle(GProperty.LABEL_STYLE); } kernel.notifyRepaint(); storeUndoInfo(); }
public void applyOpacity(int value) { for (int i = 0; i < getGeosLength(); i++) { GeoElement geo = getGeoAt(i); if (isBarChart()) { updateBarsFillType(geo, 4, null); } else { geo.setAlphaValue(value / 100.0f); } geo.updateVisualStyle(GProperty.COLOR); } kernel.notifyRepaint(); }
private void toggleSelectionVisibility() { int selSize = selection.selectedGeosSize(); if (selSize > 0 && app.getGuiManager() != null && app.getGuiManager().hasAlgebraView()) { for (int i = 0; i < selSize; i++) { GeoElement geo1 = selection.getSelectedGeos().get(i); geo1.setEuclidianVisible(!geo1.isSetEuclidianVisible()); geo1.update(); } app.getKernel().notifyRepaint(); } }
public void applySpeedChanges(GeoNumberValue value) { for (int i = 0; i < getGeosLength(); i++) { GeoElement geo = getGeoAt(i); geo.setAnimationSpeedObject(value); geo.updateCascade(); } if (kernel.getAnimatonManager() != null) { kernel.getAnimatonManager().updateNeedToShowAnimationButton(); } kernel.notifyRepaint(); storeUndoInfo(); }