public void setPlainText(String text) {
try {
resetDocument();
StringReader stringReader = new StringReader(text);
HTMLEditorKit htmlEditorKit = new HTMLEditorKit();
htmlEditorKit.read(stringReader, document, 0);
} catch (Exception e) {
ExceptionHandler.log(e);
}
}
public String getPlainText() {
try {
StringWriter stringWriter = new StringWriter();
HTMLEditorKit htmlEditorKit = new HTMLEditorKit();
htmlEditorKit.write(stringWriter, document, 0, document.getLength());
return stringWriter.toString();
} catch (Exception e) {
ExceptionHandler.log(e);
}
return null;
}
public void saveDocument() {
try {
view.selectHtmlTab();
if (currentFile != null) {
try (FileWriter writer = new FileWriter(currentFile)) {
new HTMLEditorKit().write(writer, document, 0, document.getLength());
}
} else saveDocumentAs();
} catch (Exception e) {
ExceptionHandler.log(e);
}
}
/**
* Return a label for the given point on the graph axis
*
* @param value the value on the graph
* @return the label for the given value
*/
private String getLeafLabel(double value) {
String label = Double.toString(value);
try {
int v = (int) value;
int r = idxMap.getSrc(v);
if (r < 0 || r >= tm.getRowCount()) {
return "";
}
if (labelColumn >= 0 && labelColumn < tm.getColumnCount()) {
Object o = tm.getValueAt(r, labelColumn);
return o != null ? o.toString() : "";
}
} catch (Exception ex) {
ExceptionHandler.popupException("" + ex);
}
try {
label = Integer.toString((int) value);
} catch (Exception ex) {
ExceptionHandler.popupException("" + ex);
}
return label;
}
public void saveDocumentAs() {
try {
view.selectHtmlTab();
JFileChooser jFileChooser = new JFileChooser();
jFileChooser.setFileFilter(new HTMLFileFilter());
jFileChooser.setDialogTitle("Save File");
int n = jFileChooser.showSaveDialog(view);
if (n == JFileChooser.APPROVE_OPTION) {
currentFile = jFileChooser.getSelectedFile();
view.setTitle(currentFile.getName());
try (FileWriter writer = new FileWriter(currentFile)) {
new HTMLEditorKit().write(writer, document, 0, document.getLength());
}
}
} catch (Exception e) {
ExceptionHandler.log(e);
}
}
public void openDocument() {
view.selectHtmlTab();
JFileChooser fileopen = new JFileChooser();
fileopen.setFileFilter(new HTMLFileFilter());
int ret = fileopen.showOpenDialog(view);
if (ret == JFileChooser.APPROVE_OPTION) {
currentFile = fileopen.getSelectedFile();
resetDocument();
view.setTitle(currentFile.getName());
try (FileReader reader = new FileReader(currentFile)) {
new HTMLEditorKit()
.read(
reader, document,
0); // Вызови метод read() из класса HTMLEditorKit, который вычитает данные из
// реадера в документ document.
} catch (Exception e) {
ExceptionHandler.log(
e); // Проследи, чтобы метод не кидал исключения. Их необходимо просто логировать.
}
view.resetUndo();
}
}