public void refreshPreview() { XHTMLCodeEditor xhtmlCodeEditor = (XHTMLCodeEditor) currentEditor.getValue(); if (xhtmlCodeEditor != null && currentXHTMLResource.get() != null) { try { currentXHTMLResource.get().setData(xhtmlCodeEditor.getCode().getBytes("UTF-8")); } catch (UnsupportedEncodingException e) { // never happens } needsRefresh.setValue(true); needsRefresh.setValue(false); } }
private void beautifyOrRepairHTML(String mode) { logger.info("beautifying html"); try { CodeEditor editor = currentEditor.getValue(); EditorPosition currentCursorPosition = editor.getEditorCursorPosition(); String code = editor.getCode(); if (currentEditorIsXHTML.get()) { try { Resource resource = currentXHTMLResource.get(); resource.setData(code.getBytes("UTF-8")); switch (mode) { case "format": code = formatAsXHTML(code); break; case "repair": code = repairXHTML(code); break; } resource.setData(code.getBytes("UTF-8")); } catch (UnsupportedEncodingException e) { // never happens } } editor.setCode(code); editor.setEditorCursorPosition(currentCursorPosition); editor.scrollTo(currentCursorPosition); book.setBookIsChanged(true); } catch (IOException | JDOMException e) { logger.error("", e); Dialogs.create() .owner(tabPane) .title("Formatierung nicht möglich") .message( "Kann Datei nicht formatieren. Bitte die Fehlermeldung an den Hersteller weitergeben.") .showException(e); } }
public Resource getCurrentXMLResource() { return currentXMLResource.get(); }
public Resource getCurrentSearchableResource() { return currentSearchableResource.get(); }
public void openFileInEditor(Resource resource, MediaType mediaType) throws IllegalArgumentException { if (!isTabAlreadyOpen(resource)) { Tab tab = new Tab(); tab.setClosable(true); if (resource == null) { Dialogs.create() .owner(tabPane) .title("Datei nicht vorhanden") .message( "Die angeforderte Datei ist nicht vorhanden und kann deshalb nicht geöffnet werden.") .showError(); return; } tab.setText(resource.getFileName()); resource .hrefProperty() .addListener( (observable, oldValue, newValue) -> { tab.setText(resource.getFileName()); }); String content = ""; try { content = new String(resource.getData(), resource.getInputEncoding()); } catch (IOException e) { logger.error("", e); } CodeEditor editor; if (mediaType.equals(MediaType.CSS)) { editor = new CssCodeEditor(); editor.setContextMenu(contextMenuCSS); } else if (mediaType.equals(MediaType.XHTML)) { editor = new XHTMLCodeEditor(); editor.setContextMenu(contextMenuXHTML); } else if (mediaType.equals(MediaType.XML)) { editor = new XMLCodeEditor(); editor.setContextMenu(contextMenuXML); } else { throw new IllegalArgumentException("no editor for mediatype " + mediaType.getName()); } tab.setContent((Node) editor); tab.setUserData(resource); tabPane.getTabs().add(tab); tabPane.getSelectionModel().select(tab); final String code = content; editor .stateProperty() .addListener( new ChangeListener<Worker.State>() { @Override public void changed( ObservableValue<? extends Worker.State> observable, Worker.State oldValue, Worker.State newValue) { if (newValue.equals(Worker.State.SUCCEEDED)) { openingEditorTab = true; editor.setCode(code); editor.setCodeEditorSize( ((AnchorPane) editor).getWidth() - 20, ((AnchorPane) editor).getHeight() - 20); ((AnchorPane) editor) .widthProperty() .addListener( new ChangeListener<Number>() { @Override public void changed( ObservableValue<? extends Number> observable, Number oldValue, Number newValue) { editor.setCodeEditorSize( newValue.doubleValue() - 20, ((AnchorPane) editor).getHeight() - 20); } }); ((AnchorPane) editor) .heightProperty() .addListener( new ChangeListener<Number>() { @Override public void changed( ObservableValue<? extends Number> observable, Number oldValue, Number newValue) { editor.setCodeEditorSize( ((AnchorPane) editor).getWidth() - 20, newValue.doubleValue() - 20); } }); editor.setCodeEditorSize( ((AnchorPane) editor).getWidth() - 20, ((AnchorPane) editor).getHeight() - 20); ((AnchorPane) editor) .widthProperty() .addListener( new ChangeListener<Number>() { @Override public void changed( ObservableValue<? extends Number> observable, Number oldValue, Number newValue) { editor.setCodeEditorSize( newValue.doubleValue() - 20, ((AnchorPane) editor).getHeight() - 20); } }); ((AnchorPane) editor) .heightProperty() .addListener( new ChangeListener<Number>() { @Override public void changed( ObservableValue<? extends Number> observable, Number oldValue, Number newValue) { editor.setCodeEditorSize( ((AnchorPane) editor).getWidth() - 20, newValue.doubleValue() - 20); } }); openingEditorTab = false; } } }); editor .cursorPositionProperty() .addListener( (observable, oldValue, newValue) -> { cursorPosLabelProperty.set(newValue.getLine() + ":" + newValue.getColumn()); }); editor .codeProperty() .addListener( (observable1, oldValue, newValue) -> { if (openingEditorTab) { return; } if (currentEditor.getValue().getMediaType().equals(MediaType.XHTML)) { try { currentXHTMLResource.get().setData(newValue.getBytes("UTF-8")); } catch (UnsupportedEncodingException e) { // never happens } } else if (currentEditor.getValue().getMediaType().equals(MediaType.CSS)) { try { currentCssResource.get().setData(newValue.getBytes("UTF-8")); } catch (UnsupportedEncodingException e) { // never happens } } else if (currentEditor.getValue().getMediaType().equals(MediaType.XML)) { try { currentXMLResource.get().setData(newValue.getBytes("UTF-8")); if (((XMLResource) resource).isValidXML() && MediaType.OPF.equals(resource.getMediaType())) { PackageDocumentReader.read(resource, book); } } catch (JDOMException | IOException e) { logger.error("", e); } } if (scheduledService.getState().equals(Worker.State.READY)) { scheduledService.start(); } else { scheduledService.restart(); } book.setBookIsChanged(true); }); } }
public final TableRow getTableRow() { return tableRow.get(); }