public void setLaTeX(Application app, String str) {
if (str.indexOf('"') > -1) {
GeoText text = app.getKernel().getAlgebraProcessor().evaluateToText(str, false, false);
if (text != null) {
text.setLaTeX(true, false);
str = text.getTextString();
} else {
// bad syntax, remove all quotes and use raw string
while (str.indexOf('"') > -1) str = str.replace('"', ' ');
// latexPreview.setLaTeX(str);
}
} else {
// latexPreview.setLaTeX(str);
}
String f = str.trim();
if (f.length() >= 2 && f.startsWith("$") && f.endsWith("$")) {
f = f.substring(1, f.length() - 1);
}
im =
(BufferedImage)
TeXFormula.getPartialTeXFormula(f)
.createBufferedImage(
TeXConstants.STYLE_DISPLAY, defaultSize, Color.black, Color.white);
/*
icon = TeXFormula.getPartialTeXFormula(f).createTeXIcon(
TeXConstants.STYLE_DISPLAY, defaultSize);
if (icon == null) {
icon = TeXFormula.getPartialTeXFormula("").createTeXIcon(
TeXConstants.STYLE_DISPLAY, defaultSize);
}
width = icon.getIconWidth();
height = icon.getIconHeight();*/
width = im.getWidth();
height = im.getHeight();
Dimension dim = new Dimension(width + 2 * INSET, height + 2 * INSET);
setPreferredSize(dim);
setSize(dim);
setLocation(0, 0);
setVisible(true);
repaint();
}
// calc the current value of the arithmetic tree
@Override
public final void compute() {
boolean useLaTeX = true;
if (!geo.isDefined()
|| (substituteVars != null && !substituteVars.isDefined())
|| showName != null && !showName.isDefined()) {
text.setTextString("");
} else {
boolean substitute = substituteVars == null ? true : substituteVars.getBoolean();
boolean show = showName == null ? false : showName.getBoolean();
text.setTemporaryPrintAccuracy();
// Application.debug(geo.getFormulaString(StringType.LATEX, substitute ));
if (show) {
text.setTextString(geo.getLaTeXAlgebraDescription(substitute));
if (text.getTextString() == null) {
text.setTextString(geo.getAlgebraDescriptionTextOrHTML());
useLaTeX = false;
}
} else {
if (geo.isGeoText()) {
// needed for eg Text commands eg FormulaText[Text[
text.setTextString(((GeoText) geo).getTextString());
} else {
text.setTextString(geo.getFormulaString(StringType.LATEX, substitute));
}
}
text.restorePrintAccuracy();
}
text.setLaTeX(useLaTeX, false);
/*
int tempCASPrintForm = kernel.getCASPrintForm();
kernel.setCASPrintForm(StringType.LATEX);
text.setTextString(geo.getCommandDescription());
kernel.setCASPrintForm(tempCASPrintForm);*/
}
/** Handles data import. */
@Override
public boolean importData(JComponent comp, Transferable t) {
// give the drop target (this EV) the view focus
requestViewFocus();
Point mousePos = ev.getMousePosition();
// ------------------------------------------
// Import handling is done in this order:
// 1) PlotPanel GeoElement copies
// 2) Images
// 3) Text
// 4) CASTableCells
// 5) GGB files
// ------------------------------------------
// try to get PlotPanel GeoElement copies
if (t.isDataFlavorSupported(PlotPanelEuclidianView.plotPanelFlavor)) {
try {
AbstractAction act =
(AbstractAction) t.getTransferData(PlotPanelEuclidianView.plotPanelFlavor);
act.putValue("euclidianViewID", ev.getViewID());
act.actionPerformed(new ActionEvent(act, 0, null));
} catch (UnsupportedFlavorException e) {
e.printStackTrace();
return false;
} catch (IOException e) {
e.printStackTrace();
return false;
}
return true;
}
// try to get an image
boolean imageDropped = ((GuiManagerD) ev.getApplication().getGuiManager()).loadImage(t, false);
if (imageDropped) return true;
// handle CAS table cells as simple latex string (not dynamic!!)
// ToDo: make it dynamic (after ticket 2449 is finished)
DataFlavor[] df = t.getTransferDataFlavors();
for (DataFlavor d : df) {
App.debug(d);
}
if (t.isDataFlavorSupported(CASTransferHandler.casTableFlavor)) {
try {
// after it is possible to refer to cas cells with "$1" we can refer dynamically
// String tableRef;
StringBuilder sb = new StringBuilder("FormulaText[$");
sb.append(1 + (Integer) t.getTransferData(CASTransferHandler.casTableFlavor));
sb.append("]");
// tableRef = "$" + (cellnumber+1);
// create a GeoText on the specific mouse position
GeoElement[] ret =
ev.getApplication()
.getKernel()
.getAlgebraProcessor()
.processAlgebraCommandNoExceptionHandling(sb.toString(), true, false, false);
if (ret != null && ret[0].isTextValue()) {
GeoText geo = (GeoText) ret[0];
geo.setLaTeX(true, false);
// TODO: h should equal the geo height, this is just an
// estimate
double h = 2 * app.getFontSize();
geo.setRealWorldLoc(
ev.toRealWorldCoordX(mousePos.x), ev.toRealWorldCoordY(mousePos.y - h));
geo.updateRepaint();
}
return true;
} catch (Exception e) {
e.printStackTrace();
return false;
}
}
// check for ggb file drop
boolean ggbFileDropped = ((GuiManagerD) app.getGuiManager()).handleGGBFileDrop(t);
if (ggbFileDropped) return true;
// handle all text flavors
if (t.isDataFlavorSupported(DataFlavor.stringFlavor)
|| t.isDataFlavorSupported(AlgebraViewTransferHandler.algebraViewFlavor)) {
try {
String text = null; // expression to be converted into GeoText
boolean isLaTeX = false;
// get text from AlgebraView flavor
if (t.isDataFlavorSupported(AlgebraViewTransferHandler.algebraViewFlavor)) {
isLaTeX = true;
// get list of selected geo labels
ArrayList<String> list =
(ArrayList<String>) t.getTransferData(AlgebraViewTransferHandler.algebraViewFlavor);
// exit if empty list
if (list.size() == 0) return false;
// single geo
if (list.size() == 1) {
text = "FormulaText[" + list.get(0) + ", true, true]";
}
// multiple geos, wrap in TableText
else {
text = "TableText[";
for (int i = 0; i < list.size(); i++) {
text += "{FormulaText[" + list.get(i) + ", true, true]}";
if (i < list.size() - 1) {
text += ",";
}
}
text += "]";
}
}
// get text from String flavor
else {
try {
// first try to read text line-by-line
Reader r = textReaderFlavor.getReaderForText(t);
if (r != null) {
StringBuilder sb = new StringBuilder();
String line = null;
BufferedReader br = new BufferedReader(r);
line = br.readLine();
while (line != null) {
sb.append(line + "\n");
line = br.readLine();
}
br.close();
text = sb.toString();
}
} catch (Exception e) {
App.debug("Caught exception decoding text transfer:" + e.getMessage());
}
// if the reader didn't work, try to get whatever string is
// available
if (text == null) text = (String) t.getTransferData(DataFlavor.stringFlavor);
// exit if no text found
if (text == null) return false;
// TODO --- validate the text? e.g. no quotes for a GeoText
// wrap text in quotes
text = "\"" + text + "\"";
}
// ---------------------------------
// create GeoText
GeoElement[] ret =
ev.getApplication().getKernel().getAlgebraProcessor().processAlgebraCommand(text, true);
if (ret != null && ret[0].isTextValue()) {
GeoText geo = (GeoText) ret[0];
geo.setLaTeX(isLaTeX, false);
// TODO: h should equal the geo height, this is just an
// estimate
double h = 2 * app.getFontSize();
geo.setRealWorldLoc(
ev.toRealWorldCoordX(mousePos.x), ev.toRealWorldCoordY(mousePos.y - h));
geo.updateRepaint();
}
return true;
} catch (UnsupportedFlavorException ignored) {
// TODO
} catch (IOException ignored) {
// TODO
}
}
return false;
}
/**
* Set whether a GeoText is LaTeX
*
* @param geo the GeoText object
* @param val true if the GeoText is LaTeX
*/
public static void setLatex(GeoText geo, boolean val) {
geo.setLaTeX(val, false);
}