/** * Displays the redefine dialog for geo * * @param allowTextDialog whether text dialog should be used for texts */ @Override public void showRedefineDialog(GeoElement geo, boolean allowTextDialog) { if (allowTextDialog && geo.isGeoText() && !geo.isTextCommand()) { showTextDialog((GeoText) geo); return; } String str = geo.getRedefineString(false, true); InputHandler handler = new RedefineInputHandler(app, geo, str); InputDialogD id = new InputDialogD( ((AppD) app), geo.getNameDescription(), app.getPlain("Redefine"), str, true, handler, geo); id.showSymbolTablePopup(true); id.setVisible(true); }
/** Displays the rename dialog for geo */ @Override public void showRenameDialog( GeoElement geo, boolean storeUndo, String initText, boolean selectInitText) { if (!app.isRightClickEnabled()) return; geo.setLabelVisible(true); geo.updateVisualStyleRepaint(); InputHandler handler = new RenameInputHandler(app, geo, storeUndo); // Michael Borcherds 2008-03-25 // a Chinese friendly version InputDialogD id = new InputDialogD( ((AppD) app), "<html>" + app.getLocalization() .getPlain("NewNameForA", "<b>" + geo.getNameDescription() + "</b>") + // eg New name for <b>Segment a</b> "</html>", app.getPlain("Rename"), initText, false, handler, false, selectInitText, null); /* * InputDialog id = new InputDialog( this, "<html>" + * app.getPlain("NewName") + " " + app.getPlain("for") + " <b>" + * geo.getNameDescription() + "</b></html>", app.getPlain("Rename"), * initText, false, handler, true, selectInitText); */ id.setVisible(true); }