Java Code Examples for javax.swing.text.html.HTMLDocument

The following are top voted examples for showing how to use javax.swing.text.html.HTMLDocument. These examples are extracted from open source projects. You can vote up the examples you like and your votes will be used in our system to generate more good examples.
Example 1
Project: Neukoelln_SER316   File: EditorPanel.java   View source code 6 votes vote down vote up
public void setDocument(Note note) {
	// Note note = CurrentProject.getNoteList().getActiveNote();
	// try {
	// this.editor.editor.setPage(CurrentStorage.get().getNoteURL(note));
	editor.document = (HTMLDocument) CurrentStorage.get().openNote(note);
	editor.initEditor();
	if (note != null)
		titleField.setText(note.getTitle());
	else
		titleField.setText("");
	initialTitle = titleField.getText();
	/*
	 * } catch (Exception ex) { new ExceptionDialog(ex); }
	 */
	/*
	 * Document doc = CurrentStorage.get().openNote(note); try {
	 * this.editor.editor.setText(doc.getText(0, doc.getLength())); } catch
	 * (Exception ex){ ex.printStackTrace(); }
	 */
	// .setDocument(CurrentStorage.get().openNote(note));
}
 
Example 2
Project: jdk8u-jdk   File: bug8058120.java   View source code 6 votes vote down vote up
private static void createAndShowGUI() {
    try {
        UIManager.setLookAndFeel("javax.swing.plaf.metal.MetalLookAndFeel");
    } catch (Exception ex) {
        throw new RuntimeException(ex);
    }

    JFrame frame = new JFrame("bug8058120");
    frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);

    JEditorPane editorPane = new JEditorPane();
    editorPane.setContentType("text/html");
    editorPane.setEditorKit(new HTMLEditorKit());

    document = (HTMLDocument) editorPane.getDocument();

    editorPane.setText(text);

    frame.add(editorPane);
    frame.setSize(200, 200);
    frame.setVisible(true);
}
 
Example 3
Project: Dahlem_SER316   File: FileStorage.java   View source code 6 votes vote down vote up
public javax.swing.text.Document openPSP(PSP psp) {

        HTMLDocument doc = (HTMLDocument) editorKit.createDefaultDocument();
        if (psp == null)
            return doc;
        String filename = getPSPPath(psp);
        try {
            /*DEBUG*/

//            Util.debug("Open note: " + filename);
//        	Util.debug("Note Title: " + note.getTitle());
        	doc.setBase(new URL(getPSPURL(psp)));
        	editorKit.read(
                new InputStreamReader(new FileInputStream(filename), "UTF-8"),
                doc,
                0);
        }
        catch (Exception ex) {
            //ex.printStackTrace();
            // Do nothing - we've got a new empty document!
        }
        
        return doc;
    }
 
Example 4
Project: incubator-netbeans   File: SvnOptionsPanel.java   View source code 6 votes vote down vote up
/** Creates new form SvnOptionsPanel */
public SvnOptionsPanel() {
    initComponents();
    if(Utilities.isWindows()) {
        jLabel5.setText(org.openide.util.NbBundle.getMessage(SvnOptionsPanel.class, "SvnOptionsPanel.jLabel5.windows.text"));
        jLabel11.setText(org.openide.util.NbBundle.getMessage(SvnOptionsPanel.class, "SvnOptionsPanel.jLabel11.text"));
    } else {
        jLabel5.setText(org.openide.util.NbBundle.getMessage(SvnOptionsPanel.class, "SvnOptionsPanel.jLabel5.unix.text"));
        jLabel11.setText(org.openide.util.NbBundle.getMessage(SvnOptionsPanel.class, "SvnOptionsPanel.jLabel11.unix.text"));
    }
    Document doc = textPaneClient.getDocument();
    if (doc instanceof HTMLDocument) { // Issue 185505
        HTMLDocument htmlDoc = (HTMLDocument)doc;
        Font font = UIManager.getFont("Label.font"); // NOI18N
        String bodyRule = "body { font-family: " + font.getFamily() + "; " // NOI18N
            + "color: " + SvnUtils.getColorString(textPaneClient.getForeground()) + "; " //NOI18N
            + "font-size: " + font.getSize() + "pt; }"; // NOI18N
        htmlDoc.getStyleSheet().addRule(bodyRule);
    }
    textPaneClient.setOpaque(false);
    textPaneClient.setBackground(new Color(0,0,0,0)); // windows and nimbus workaround see issue 145826
}
 
Example 5
Project: openjdk-jdk10   File: bug8058120.java   View source code 6 votes vote down vote up
private static void createAndShowGUI() {
    try {
        UIManager.setLookAndFeel("javax.swing.plaf.metal.MetalLookAndFeel");
    } catch (Exception ex) {
        throw new RuntimeException(ex);
    }

    JFrame frame = new JFrame("bug8058120");
    frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);

    JEditorPane editorPane = new JEditorPane();
    editorPane.setContentType("text/html");
    editorPane.setEditorKit(new HTMLEditorKit());

    document = (HTMLDocument) editorPane.getDocument();

    editorPane.setText(text);

    frame.add(editorPane);
    frame.setSize(200, 200);
    frame.setVisible(true);
}
 
Example 6
Project: SER316-Aachen   File: EditorPanel.java   View source code 6 votes vote down vote up
public void setDocument(Note note) {
	// Note note = CurrentProject.getNoteList().getActiveNote();
	// try {
	// this.editor.editor.setPage(CurrentStorage.get().getNoteURL(note));
	editor.document = (HTMLDocument) CurrentStorage.get().openNote(note);
	editor.initEditor();
	if (note != null)
		titleField.setText(note.getTitle());
	else
		titleField.setText("");
	initialTitle = titleField.getText();
	/*
	 * } catch (Exception ex) { new ExceptionDialog(ex); }
	 */
	/*
	 * Document doc = CurrentStorage.get().openNote(note); try {
	 * this.editor.editor.setText(doc.getText(0, doc.getLength())); } catch
	 * (Exception ex){ ex.printStackTrace(); }
	 */
	// .setDocument(CurrentStorage.get().openNote(note));
}
 
Example 7
Project: jdk8u-jdk   File: bug8028616.java   View source code 6 votes vote down vote up
public static void main(String[] args) throws Exception {
    ParserCB cb = new ParserCB();
    HTMLEditorKit htmlKit = new HTMLEditorKit();
    HTMLDocument htmlDoc = (HTMLDocument) htmlKit.createDefaultDocument();

    htmlDoc.getParser().parse(new StringReader(text), cb, true);

    synchronized (lock) {
        if (!isCallbackInvoked) {
            lock.wait(5000);
        }
    }

    if (!isCallbackInvoked) {
        throw new RuntimeException("Test Failed: ParserCallback.handleText() is not invoked for text - " + text);
    }

    if (exception != null) {
        throw exception;
    }
}
 
Example 8
Project: incubator-netbeans   File: DocumentationScrollPane.java   View source code 6 votes vote down vote up
private synchronized void setDocumentation(CompletionDocumentation doc) {
    currentDocumentation = doc;
    if (currentDocumentation != null) {
        String text = currentDocumentation.getText();
        URL url = currentDocumentation.getURL();
        if (text != null){
            Document document = view.getDocument();
            document.putProperty(Document.StreamDescriptionProperty, null);
            if (url!=null){
                // fix of issue #58658
                if (document instanceof HTMLDocument){
                    ((HTMLDocument)document).setBase(url);
                }
            }
            view.setContent(text, url != null ? url.getRef() : null);
        } else if (url != null){
            try{
                view.setPage(url);
            }catch(IOException ioe){
                StatusDisplayer.getDefault().setStatusText(ioe.toString());
            }
        }
        bShowWeb.setEnabled(url != null);
        bGoToSource.setEnabled(currentDocumentation.getGotoSourceAction() != null);
    }
}
 
Example 9
Project: incubator-netbeans   File: OverviewControllerUI.java   View source code 6 votes vote down vote up
public void showInThreads(Instance instance) {
    if (!showThreads) {
        showThreads = true;
        instanceToSelect = instance;
        refreshSummary();
        return;
    }
    String referenceId = String.valueOf(instance.getInstanceId());
    
    dataArea.scrollToReference(referenceId);
    Document d = dataArea.getDocument();
    HTMLDocument doc = (HTMLDocument) d;
    HTMLDocument.Iterator iter = doc.getIterator(HTML.Tag.A);
    for (; iter.isValid(); iter.next()) {
        AttributeSet a = iter.getAttributes();
        String nm = (String) a.getAttribute(HTML.Attribute.NAME);
        if ((nm != null) && nm.equals(referenceId)) {
            dataArea.select(iter.getStartOffset(),iter.getEndOffset());
            dataArea.requestFocusInWindow();
        }
    }
}
 
Example 10
Project: rapidminer   File: AnnotationsDecorator.java   View source code 6 votes vote down vote up
/**
 * Calculates the preferred height of the editor pane with the given fixed width.
 *
 * @param width
 *            the width of the pane
 * @return the preferred height given the current editor pane content or {@code -1} if there was
 *         a problem. Value will never exceed {@link WorkflowAnnotation#MAX_HEIGHT}
 */
private int getContentHeightOfEditor(final int width) {
	HTMLDocument document = (HTMLDocument) editPane.getDocument();
	StringWriter writer = new StringWriter();
	try {
		editPane.getEditorKit().write(writer, document, 0, document.getLength());
	} catch (IndexOutOfBoundsException | IOException | BadLocationException e1) {
		// should not happen
		return -1;
	}
	String comment = writer.toString();
	comment = AnnotationDrawUtils.removeStyleFromComment(comment);

	int maxHeight = model.getSelected() instanceof ProcessAnnotation ? ProcessAnnotation.MAX_HEIGHT
			: OperatorAnnotation.MAX_HEIGHT;
	return Math.min(
			AnnotationDrawUtils.getContentHeight(
					AnnotationDrawUtils.createStyledCommentString(comment, model.getSelected().getStyle()), width),
					maxHeight);
}
 
Example 11
Project: rapidminer   File: AnnotationDrawUtils.java   View source code 6 votes vote down vote up
/**
 * Returns plain text from the editor.
 *
 * @param editor
 *            the editor from which to take the text.
 * @param onlySelected
 *            if {@code true} will only return the selected text
 * @return the text of the editor converted to plain text
 * @throws BadLocationException
 * @throws IOException
 */
public static String getPlaintextFromEditor(final JEditorPane editor, final boolean onlySelected) throws IOException,
		BadLocationException {
	if (editor == null) {
		throw new IllegalArgumentException("editor must not be null!");
	}
	HTMLDocument document = (HTMLDocument) editor.getDocument();
	StringWriter writer = new StringWriter();
	int start = 0;
	int length = document.getLength();
	if (onlySelected) {
		start = editor.getSelectionStart();
		length = editor.getSelectionEnd() - start;
	}
	editor.getEditorKit().write(writer, document, start, length);
	String text = writer.toString();
	text = AnnotationDrawUtils.removeStyleFromComment(text);
	// switch <br> and <br/> to actual newline (current system)
	text = text.replaceAll("<br.*?>", System.lineSeparator());
	// kill all other html tags
	text = text.replaceAll("\\<.*?>", "");
	text = StringEscapeUtils.unescapeHtml(text);
	return text;
}
 
Example 12
Project: marathonv5   File: JEditorPaneTagJavaElement.java   View source code 6 votes vote down vote up
@Override public String getAttribute(final String name) {
    if ("text".equals(name)) {
        return getText();
    }
    if ("hRefIndex".equals(name)) {
        return getHRefIndex() + "";
    }
    if ("textIndex".equals(name)) {
        return getTextIndex() + "";
    }
    return EventQueueWait.exec(new Callable<String>() {
        @Override public String call() throws Exception {
            Iterator iterator = findTag((HTMLDocument) ((JEditorPane) parent.getComponent()).getDocument());
            AttributeSet attributes = iterator.getAttributes();
            Attribute attr = findAttribute(name);
            if (attr != null && attributes.isDefined(attr)) {
                return attributes.getAttribute(attr).toString();
            }
            return null;
        }
    });
}
 
Example 13
Project: openjdk-jdk10   File: Test6933784.java   View source code 6 votes vote down vote up
private static void checkImages() throws Exception {
    SwingUtilities.invokeAndWait(new Runnable() {
        public void run() {
            HTMLEditorKit c = new HTMLEditorKit();
            HTMLDocument doc = new HTMLDocument();

            try {
                c.read(new StringReader("<HTML><TITLE>Test</TITLE><BODY><IMG id=test></BODY></HTML>"), doc, 0);
            } catch (Exception e) {
                throw new RuntimeException("The test failed", e);
            }

            Element elem = doc.getElement("test");
            ImageView iv = new ImageView(elem);

            if (iv.getLoadingImageIcon() == null) {
                throw new RuntimeException("getLoadingImageIcon returns null");
            }

            if (iv.getNoImageIcon() == null) {
                throw new RuntimeException("getNoImageIcon returns null");
            }
        }
    });
}
 
Example 14
Project: openjdk-jdk10   File: bug8028616.java   View source code 6 votes vote down vote up
public static void main(String[] args) throws Exception {
    ParserCB cb = new ParserCB();
    HTMLEditorKit htmlKit = new HTMLEditorKit();
    HTMLDocument htmlDoc = (HTMLDocument) htmlKit.createDefaultDocument();

    htmlDoc.getParser().parse(new StringReader(text), cb, true);

    synchronized (lock) {
        if (!isCallbackInvoked) {
            lock.wait(5000);
        }
    }

    if (!isCallbackInvoked) {
        throw new RuntimeException("Test Failed: ParserCallback.handleText() is not invoked for text - " + text);
    }

    if (exception != null) {
        throw exception;
    }
}
 
Example 15
Project: marathonv5   File: REditorPane.java   View source code 6 votes vote down vote up
public void setHRef(int pos, Document doc) {
    hRef = null;
    text = null;
    if (!(doc instanceof HTMLDocument)) {
        return;
    }
    HTMLDocument hdoc = (HTMLDocument) doc;
    Iterator iterator = hdoc.getIterator(HTML.Tag.A);
    while (iterator.isValid()) {
        if (pos >= iterator.getStartOffset() && pos < iterator.getEndOffset()) {
            AttributeSet attributes = iterator.getAttributes();
            if (attributes != null && attributes.getAttribute(HTML.Attribute.HREF) != null) {
                try {
                    text = hdoc.getText(iterator.getStartOffset(), iterator.getEndOffset() - iterator.getStartOffset()).trim();
                    hRef = attributes.getAttribute(HTML.Attribute.HREF).toString();
                    setIndexOfHrefAndText(hdoc, pos, text, hRef);
                } catch (BadLocationException e) {
                    e.printStackTrace();
                }
                return;
            }
        }
        iterator.next();
    }
}
 
Example 16
Project: SER316-Dresden   File: EditorPanel.java   View source code 6 votes vote down vote up
public void setDocument(Note note) {
	// Note note = CurrentProject.getNoteList().getActiveNote();
	// try {
	// this.editor.editor.setPage(CurrentStorage.get().getNoteURL(note));
	editor.document = (HTMLDocument) CurrentStorage.get().openNote(note);
	editor.initEditor();
	if (note != null)
		titleField.setText(note.getTitle());
	else
		titleField.setText("");
	initialTitle = titleField.getText();
	/*
	 * } catch (Exception ex) { new ExceptionDialog(ex); }
	 */
	/*
	 * Document doc = CurrentStorage.get().openNote(note); try {
	 * this.editor.editor.setText(doc.getText(0, doc.getLength())); } catch
	 * (Exception ex){ ex.printStackTrace(); }
	 */
	// .setDocument(CurrentStorage.get().openNote(note));
}
 
Example 17
Project: Dahlem_SER316   File: EditorPanel.java   View source code 6 votes vote down vote up
public void setDocument(Note note) {
	// Note note = CurrentProject.getNoteList().getActiveNote();
	// try {
	// this.editor.editor.setPage(CurrentStorage.get().getNoteURL(note));
	editor.document = (HTMLDocument) CurrentStorage.get().openNote(note);
	editor.initEditor();
	if (note != null) {
		titleField.setText(note.getTitle());
		tagsField.setText(note.getTags());
	}
	else {
		titleField.setText("");
		tagsField.setText("");
	}
	initialTitle = titleField.getText();
	initialTags = tagsField.getText();
	/*
	 * } catch (Exception ex) { new ExceptionDialog(ex); }
	 */
	/*
	 * Document doc = CurrentStorage.get().openNote(note); try {
	 * this.editor.editor.setText(doc.getText(0, doc.getLength())); } catch
	 * (Exception ex){ ex.printStackTrace(); }
	 */
	// .setDocument(CurrentStorage.get().openNote(note));
}
 
Example 18
Project: Wilmersdorf_SER316   File: EditorPanel.java   View source code 6 votes vote down vote up
public void setDocument(Note note) {
	// Note note = CurrentProject.getNoteList().getActiveNote();
	// try {
	// this.editor.editor.setPage(CurrentStorage.get().getNoteURL(note));
	editor.document = (HTMLDocument) CurrentStorage.get().openNote(note);
	editor.initEditor();
	if (note != null)
		titleField.setText(note.getTitle());
	else
		titleField.setText("");
	initialTitle = titleField.getText();
	/*
	 * } catch (Exception ex) { new ExceptionDialog(ex); }
	 */
	/*
	 * Document doc = CurrentStorage.get().openNote(note); try {
	 * this.editor.editor.setText(doc.getText(0, doc.getLength())); } catch
	 * (Exception ex){ ex.printStackTrace(); }
	 */
	// .setDocument(CurrentStorage.get().openNote(note));
}
 
Example 19
Project: SmartQQ4IntelliJ   File: IMChatConsole.java   View source code 6 votes vote down vote up
protected void insertDocument(String msg) {
    try {
        HTMLEditorKit kit = (HTMLEditorKit) historyWidget.getEditorKit();
        HTMLDocument doc = (HTMLDocument) historyWidget.getDocument();
        // historyWidget.getDocument().insertString(len - offset,
        // trimMsg(msg), null);
        // Element root = doc.getDefaultRootElement();
        // Element body = root.getElement(1);
        // doc.insertBeforeEnd(body, msg);
        int pos = historyWidget.getCaretPosition();
        kit.insertHTML(doc, doc.getLength(), msg, 0, 0, null);
        historyWidget.setCaretPosition(scrollLock ? pos : doc.getLength());
    } catch (Exception e) {
        e.printStackTrace();
    }
}
 
Example 20
Project: gate-core   File: JTextPaneTableCellRenderer.java   View source code 6 votes vote down vote up
public JTextPaneTableCellRenderer() {
  textPane.setContentType("text/html");
  textPane.setEditable(false);
  textPane.setOpaque(true);
  textPane.setBorder(null);

  textPane.setForeground(UIManager.getColor("Table.selectionForeground"));
  textPane.setBackground(UIManager.getColor("Table.selectionBackground"));

  Font font = UIManager.getFont("Label.font");
  String bodyRule =
      "body { font-family: " + font.getFamily() + "; " + "font-size: "
          + font.getSize() + "pt; "
          + (font.isBold() ? "font-weight: bold;" : "") + "}";
  ((HTMLDocument)textPane.getDocument()).getStyleSheet().addRule(bodyRule);

  textPane.addHyperlinkListener(new HyperlinkListener() {

    @Override
    public void hyperlinkUpdate(HyperlinkEvent e) {
      if (e.getEventType().equals(HyperlinkEvent.EventType.ACTIVATED))
          MainFrame.getInstance().showHelpFrame(e.getURL().toString(), "CREOLE Plugin Manager");
    }
  });
}
 
Example 21
Project: hybris-integration-intellij-idea-plugin   File: InformationStep.java   View source code 6 votes vote down vote up
private void createUIComponents() {
    final Font font = UIManager.getFont("Label.font");
    final String bodyRule = "body { font-family: " + font.getFamily() + "; " + "font-size: " + font.getSize() + "pt; }";
    informationEditorPane = new JEditorPane();
    informationEditorPane.setEditorKit(new HTMLEditorKit());
    ((HTMLDocument) informationEditorPane.getDocument()).getStyleSheet().addRule(bodyRule);
    cvsEditorPane = new JEditorPane();
    cvsEditorPane.setEditorKit(new HTMLEditorKit());
    ((HTMLDocument) cvsEditorPane.getDocument()).getStyleSheet().addRule(bodyRule);
    jrebelEditorPane = new JEditorPane();
    jrebelEditorPane.setEditorKit(new HTMLEditorKit());
    ((HTMLDocument) jrebelEditorPane.getDocument()).getStyleSheet().addRule(bodyRule);
    jiraEditorPane = new JEditorPane();
    jiraEditorPane.setEditorKit(new HTMLEditorKit());
    ((HTMLDocument) jiraEditorPane.getDocument()).getStyleSheet().addRule(bodyRule);
    jiraEditorPane.addHyperlinkListener(BrowserHyperlinkListener.INSTANCE);
}
 
Example 22
Project: Yass   File: MIDI.java   View source code 6 votes vote down vote up
private JPanel getContentPanel() {
    content = new JPanel(new BorderLayout());
    JTextPane txt = new JTextPane();
    HTMLDocument doc = (HTMLDocument) txt.getEditorKitForContentType("text/html").createDefaultDocument();
    doc.setAsynchronousLoadPriority(-1);
    txt.setDocument(doc);
    URL url = I18.getResource("create_midi.html");
    try {
        txt.setPage(url);
    } catch (Exception ignored) {
    }
    txt.setEditable(false);
    content.add("North", new JScrollPane(txt));

    convert = new YassMIDIConverter();
    convert.setStandAlone(false);
    content.add("Center", gui = convert.getGUI());
    return content;
}
 
Example 23
Project: educational-plugin   File: StudySwingToolWindow.java   View source code 6 votes vote down vote up
@Override
public JComponent createTaskInfoPanel(Project project) {
  myTaskTextPane = new JTextPane();
  final JBScrollPane scrollPane = new JBScrollPane(myTaskTextPane);
  myTaskTextPane.setContentType(new HTMLEditorKit().getContentType());
  final EditorColorsScheme editorColorsScheme = EditorColorsManager.getInstance().getGlobalScheme();
  int fontSize = editorColorsScheme.getEditorFontSize();
  final String fontName = editorColorsScheme.getEditorFontName();
  final Font font = new Font(fontName, Font.PLAIN, fontSize);
  String bodyRule = "body { font-family: " + font.getFamily() + "; " +
                    "font-size: " + font.getSize() + "pt; }" +
                    "pre {font-family: Courier; display: inline; ine-height: 50px; padding-top: 5px; padding-bottom: 5px; padding-left: 5px; background-color:"
                    + ColorUtil.toHex(ColorUtil.dimmer(UIUtil.getPanelBackground())) + ";}" +
                    "code {font-family: Courier; display: flex; float: left; background-color:"
                    + ColorUtil.toHex(ColorUtil.dimmer(UIUtil.getPanelBackground())) + ";}";
  ((HTMLDocument)myTaskTextPane.getDocument()).getStyleSheet().addRule(bodyRule);
  myTaskTextPane.setEditable(false);
  if (!UIUtil.isUnderDarcula()) {
    myTaskTextPane.setBackground(EditorColorsManager.getInstance().getGlobalScheme().getDefaultBackground());
  }
  myTaskTextPane.setBorder(new EmptyBorder(20, 20, 0, 10));
  myTaskTextPane.addHyperlinkListener(BrowserHyperlinkListener.INSTANCE);
  return scrollPane;
}
 
Example 24
Project: jdk8u-jdk   File: bug6636983.java   View source code 6 votes vote down vote up
void checkComposedTextRun() {
    HTMLDocument d = (HTMLDocument) ep.getDocument();
    ElementIterator it = new ElementIterator(d.getDefaultRootElement());

    while (true) {
        Element e = it.next();
        if (e == null) {
            throw new RuntimeException("no composed text found");
        }
        AttributeSet a = e.getAttributes();
        if (a.isDefined(StyleConstants.ComposedTextAttribute)) {
            if (!AbstractDocument.ContentElementName.equals(a.getAttribute(StyleConstants.NameAttribute))) {
                throw new RuntimeException("AbstractDocument.ContentElementName.equals(a.getAttribute(StyleConstants.NameAttribute)) is false");
            }

            if (a.isDefined(SwingUtilities2.IMPLIED_CR)) {
                throw new RuntimeException("a.isDefined(SwingUtilities2.IMPLIED_CR) is true");
            }

            return;
        }
    }

}
 
Example 25
Project: Neukoelln_SER316   File: AltHTMLWriter.java   View source code 5 votes vote down vote up
/**
 * Writes out any additional comments (comments outside of the body)
 * stored under the property HTMLDocument.AdditionalComments.
 */
void writeAdditionalComments() throws IOException {
    Object comments = getDocument().getProperty(HTMLDocument.AdditionalComments);
    if (comments == null) return; 
    if (comments instanceof Vector) {
        Vector v = (Vector) comments;
        for (int counter = 0, maxCounter = v.size(); counter < maxCounter; counter++) {
            writeComment(v.elementAt(counter).toString());
        }
    }
    //[alex] I've add the following 'else' for single comments:
    else
        writeComment(comments.toString());
    // end add
}
 
Example 26
Project: Wilmersdorf_SER316   File: AltHTMLWriter.java   View source code 5 votes vote down vote up
/**
 * Writes out any additional comments (comments outside of the body)
 * stored under the property HTMLDocument.AdditionalComments.
 */
void writeAdditionalComments() throws IOException {
    Object comments = getDocument().getProperty(HTMLDocument.AdditionalComments);
    if (comments == null) return; 
    if (comments instanceof Vector) {
        Vector v = (Vector) comments;
        for (int counter = 0, maxCounter = v.size(); counter < maxCounter; counter++) {
            writeComment(v.elementAt(counter).toString());
        }
    }
    //[alex] I've add the following 'else' for single comments:
    else
        writeComment(comments.toString());
    // end add
}
 
Example 27
Project: incubator-netbeans   File: NotifyHtmlPanel.java   View source code 5 votes vote down vote up
/**
 * Creates new form SwitchToCliPanel
 */
public NotifyHtmlPanel () {
    initComponents();
    Document doc = msgPanel.getDocument();
    if (doc instanceof HTMLDocument) { // Issue 185505
        HTMLDocument htmlDoc = (HTMLDocument)doc;
        Font font = UIManager.getFont("Label.font"); // NOI18N
        String bodyRule = "body { font-family: " + font.getFamily() + "; " // NOI18N
            + "color: " + SvnUtils.getColorString(msgPanel.getForeground()) + "; " //NOI18N
            + "font-size: " + font.getSize() + "pt; }"; // NOI18N
        htmlDoc.getStyleSheet().addRule(bodyRule);
    }
    msgPanel.setOpaque(false);
    msgPanel.setBackground(new Color(0,0,0,0)); // windows and nimbus workaround see issue 145826
}
 
Example 28
Project: incubator-netbeans   File: OverviewControllerUI.java   View source code 5 votes vote down vote up
@Override
public Document createDefaultDocument() {
    StyleSheet styles = getStyleSheet();
    StyleSheet ss = new StyleSheet();

    ss.addStyleSheet(styles);

    HTMLDocument doc = new CustomHTMLDocument(ss);
    doc.setParser(getParser());
    doc.setAsynchronousLoadPriority(4);
    doc.setTokenThreshold(100);
    return doc;
}
 
Example 29
Project: openjdk-jdk10   File: bug4960629.java   View source code 5 votes vote down vote up
private void test() {
    View root = ((View)label.getClientProperty(BasicHTML.propertyKey))
            .getView(0);
    int n = root.getViewCount();
    View v  = root.getView(n - 1);
    AttributeSet attrs = v.getAttributes();
    StyleSheet ss = ((HTMLDocument) v.getDocument()).getStyleSheet();
    Font font = ss.getFont(attrs);
    System.out.println(font.getSize());
    passed = (font.getSize() == 12);
    if(!passed) {
        throw new RuntimeException("Test failed.");
    }
}
 
Example 30
Project: Dahlem_SER316   File: HTMLFileExport.java   View source code 5 votes vote down vote up
/**
 * Constructor for HTMLFileExport.
 */
public HTMLFileExport(File f, Document doc, Note note, String charset, boolean num, String templFile, boolean xhtml) {
    this.f = f;
    this.doc = (HTMLDocument)doc;
    this.note = note;
    this.charset = charset;
    this.num = num;
    this.templFile = templFile;
    this.xhtml = xhtml;
    doExport();
}
 
Example 31
Project: incubator-netbeans   File: OutputTabTest.java   View source code 5 votes vote down vote up
/**
 * Test for bug 230402 - NullPointerException at
 * org.netbeans.core.output2.ui.AbstractOutputPane.run. No exception should
 * be thrown.
 *
 * @throws java.lang.InterruptedException
 * @throws java.lang.reflect.InvocationTargetException
 */
public void testEnsureCaretPosition() throws InterruptedException,
        InvocationTargetException {

    EventQueue.invokeAndWait(new Runnable() {
        @Override
        public void run() {
            tab.setDocument(new HTMLDocument());
            tab.getOutputPane().run();
        }
    });
}
 
Example 32
Project: rapidminer   File: AnnotationsDecorator.java   View source code 5 votes vote down vote up
/**
 * Saves the content of the comment editor as the new comment for the given
 * {@link WorkflowAnnotation}.
 *
 * @param selected
 *            the annotation for which the content of the editor pane should be saved as new
 *            comment
 */
private void saveEdit(final WorkflowAnnotation selected) {
	if (editPane == null) {
		return;
	}
	HTMLDocument document = (HTMLDocument) editPane.getDocument();
	StringWriter writer = new StringWriter();
	try {
		editPane.getEditorKit().write(writer, document, 0, document.getLength());
	} catch (IndexOutOfBoundsException | IOException | BadLocationException e1) {
		// should not happen
		LogService.getRoot().log(Level.WARNING,
				"com.rapidminer.gui.flow.processrendering.annotations.AnnotationsDecorator.cannot_save");
	}
	String comment = writer.toString();
	comment = AnnotationDrawUtils.removeStyleFromComment(comment);
	Rectangle2D loc = selected.getLocation();
	Rectangle2D newLoc = new Rectangle2D.Double(loc.getX(), loc.getY(), editPane.getBounds().getWidth(), editPane
			.getBounds().getHeight());
	selected.setLocation(newLoc);

	boolean overflowing = false;
	int prefHeight = AnnotationDrawUtils.getContentHeight(
			AnnotationDrawUtils.createStyledCommentString(comment, selected.getStyle()), (int) newLoc.getWidth());
	if (prefHeight > newLoc.getHeight()) {
		overflowing = true;
	}
	selected.setOverflowing(overflowing);

	model.setAnnotationComment(selected, comment);
}
 
Example 33
Project: marathonv5   File: JEditorPaneTagJavaElement.java   View source code 5 votes vote down vote up
@Override public String _getText() {
    Iterator iterator = findTag((HTMLDocument) ((JEditorPane) parent.getComponent()).getDocument());
    int startOffset = iterator.getStartOffset();
    int endOffset = iterator.getEndOffset();
    try {
        return ((HTMLDocument) ((JEditorPane) parent.getComponent()).getDocument()).getText(startOffset,
                endOffset - startOffset);
    } catch (BadLocationException e) {
        throw new InvalidElementStateException("Unable to get text for tag " + tag + " in document with index " + index, e);
    }
}
 
Example 34
Project: marathonv5   File: JEditorPaneTagJavaElement.java   View source code 5 votes vote down vote up
private Iterator findTag(HTMLDocument doc) {
    Iterator iterator = doc.getIterator(tag);
    int current = 0;
    while (iterator.isValid()) {
        if (current++ == index) {
            break;
        }
        iterator.next();
    }
    if (!iterator.isValid()) {
        throw new NoSuchElementException("Unable to find tag " + tag + " in document with index " + index, null);
    }
    return iterator;
}
 
Example 35
Project: marathonv5   File: JEditorPaneTagJavaElement.java   View source code 5 votes vote down vote up
@Override public void _moveto() {
    JEditorPane editor = (JEditorPane) parent.getComponent();
    Iterator iterator = findTag((HTMLDocument) editor.getDocument());
    int startOffset = iterator.getStartOffset();
    int endOffset = iterator.getEndOffset();
    try {
        Rectangle bounds = editor.modelToView(startOffset + (endOffset - startOffset) / 2);
        getDriver().getDevices().moveto(parent.getComponent(), bounds.x + bounds.width / 2, bounds.y + bounds.height / 2);
    } catch (BadLocationException e) {
        throw new InvalidElementStateException("Unable to get text for tag " + tag + " in document with index " + index, e);
    }
}
 
Example 36
Project: marathonv5   File: JEditorPaneTagJavaElement.java   View source code 5 votes vote down vote up
@Override public Point _getMidpoint() {
    JEditorPane editor = (JEditorPane) parent.getComponent();
    Iterator iterator = findTag((HTMLDocument) editor.getDocument());
    int startOffset = iterator.getStartOffset();
    int endOffset = iterator.getEndOffset();
    try {
        Rectangle bounds = editor.modelToView(startOffset + (endOffset - startOffset) / 2);
        return new Point(bounds.x + bounds.width / 2, bounds.y + bounds.height / 2);
    } catch (BadLocationException e) {
        throw new InvalidElementStateException("Unable to get text for tag " + tag + " in document with index " + index + "("
                + "StartOffset: " + startOffset + " EndOffset: " + endOffset + ")", e);
    }
}
 
Example 37
Project: marathonv5   File: JEditorPaneTagJavaElement.java   View source code 5 votes vote down vote up
public int getHRefIndex() {
    return EventQueueWait.exec(new Callable<Integer>() {
        @Override public Integer call() throws Exception {
            String href = getAttribute("href");
            int hRefIndex = 0;
            int current = 0;
            JEditorPane editor = (JEditorPane) parent.getComponent();
            HTMLDocument document = (HTMLDocument) editor.getDocument();
            Iterator iterator = document.getIterator(Tag.A);
            while (iterator.isValid()) {
                if (current++ >= index) {
                    return hRefIndex;
                }
                AttributeSet attributes = iterator.getAttributes();
                if (attributes != null) {
                    Object attributeObject = attributes.getAttribute(HTML.Attribute.HREF);
                    if (attributeObject != null) {
                        String attribute = attributeObject.toString();
                        if (attribute.equals(href)) {
                            hRefIndex++;
                        }
                    }
                }
                iterator.next();
            }
            return -1;
        }
    });
}
 
Example 38
Project: marathonv5   File: REditorPane.java   View source code 5 votes vote down vote up
private void setIndexOfHrefAndText(HTMLDocument hdoc, int pos, String text, String hRef) {
    this.hRefIndex = 0;
    this.textIndex = 0;
    Iterator iterator = hdoc.getIterator(HTML.Tag.A);
    while (iterator.isValid()) {
        if (pos >= iterator.getStartOffset() && pos < iterator.getEndOffset()) {
            return;
        } else {
            AttributeSet attributes = iterator.getAttributes();
            if (attributes != null && attributes.getAttribute(HTML.Attribute.HREF) != null) {
                try {
                    String t = hdoc.getText(iterator.getStartOffset(), iterator.getEndOffset() - iterator.getStartOffset())
                            .trim();
                    String h = attributes.getAttribute(HTML.Attribute.HREF).toString();
                    if (t.equals(text)) {
                        this.textIndex++;
                    }
                    if (h.equals(hRef)) {
                        this.hRefIndex++;
                    }
                } catch (BadLocationException e) {
                    e.printStackTrace();
                }
            }
        }
        iterator.next();
    }
}
 
Example 39
Project: Dahlem_SER316   File: ProjectExporter.java   View source code 5 votes vote down vote up
private static String getNoteHTML(Note note) {
    String text = "";
    StringWriter sw = new StringWriter();
    AltHTMLWriter writer = new AltHTMLWriter(sw,
            (HTMLDocument) CurrentStorage.get().openNote(note), _charset,
            _num);
    try {
        writer.write();
        sw.flush();
        sw.close();
    }
    catch (Exception ex) {
        new ExceptionDialog(ex);
    }
    text = sw.toString();
    if (_xhtml)
        text = HTMLFileExport.convertToXHTML(text);
    text = Pattern
            .compile("<body(.*?)>", java.util.regex.Pattern.DOTALL
                    + java.util.regex.Pattern.CASE_INSENSITIVE).split(text)[1];
    text = Pattern
            .compile("</body>", java.util.regex.Pattern.DOTALL
                    + java.util.regex.Pattern.CASE_INSENSITIVE).split(text)[0];
    /*
             * if (_copyImages) { ?)\"" + java.util.regex.Pattern.DOTALL +
             * java.util.regex.Pattern.CASE_INSENSITIVE); Matcher m =
             * p.matcher(text); for (int i = 1; i < m.groupCount(); i++) { String g =
             * m.group(i); String url = g.split("\"")[1];
             *  }
             */
    text = "<div class=\"note\">" + text + "</div>";

    if (_titlesAsHeaders)
                    text = "\n\n<div class=\"date\">"
                + note.getDate().getFullDateString()
                + ":</div>\n<h1 class=\"title\">" + note.getTitle()
                + "</h1>\n" + text;
    return text;
}
 
Example 40
Project: SER316-Dresden   File: AltHTMLWriter.java   View source code 5 votes vote down vote up
/**
 * Writes out any additional comments (comments outside of the body)
 * stored under the property HTMLDocument.AdditionalComments.
 */
void writeAdditionalComments() throws IOException {
    Object comments = getDocument().getProperty(HTMLDocument.AdditionalComments);
    if (comments == null) return; 
    if (comments instanceof Vector) {
        Vector v = (Vector) comments;
        for (int counter = 0, maxCounter = v.size(); counter < maxCounter; counter++) {
            writeComment(v.elementAt(counter).toString());
        }
    }
    //[alex] I've add the following 'else' for single comments:
    else
        writeComment(comments.toString());
    // end add
}