public static JLabel makeLabel(String labelHtml) { if (BasicHTML.isHTMLString(labelHtml) == false) { labelHtml = "<html>" + labelHtml + " "; } if (labelHtml.endsWith(" ") == false) { labelHtml = labelHtml + " "; } return setupLabel(new JLabel(), labelHtml, null); }
public void propertyChange( final PropertyChangeEvent evt ) { if ( ( "text".equals( evt.getPropertyName() ) || "font".equals( evt.getPropertyName() ) || "border".equals( evt.getPropertyName() ) ) && getText() != null && BasicHTML.isHTMLString( getText() ) ) { setPreferredSize( computePreferredSize() ); } }
/** * Set the error message for the dialog box. * * @param message * Message for the error dialog */ public void setMessage(String message) { if (BasicHTML.isHTMLString(message)) { this.messagePane.setContentType("text/html"); } else { this.messagePane.setContentType("text/plain"); } this.messagePane.setText(message); }
/** * Set the error message for the dialog box. * * @param message * Message for the error dialog */ public void setMessage(String message) { if (BasicHTML.isHTMLString(message)) { this.messagePane.setContentType("text/html"); } else { this.messagePane.setContentType("text/plain"); } this.messagePane.setText(message); }
private ArrayList createHTMLViewList() { ArrayList viewList = new ArrayList(); int count = tabPane.getTabCount(); for (int i = 0; i < count; i++) { String title = tabPane.getTitleAt(i); if (BasicHTML.isHTMLString(title)) { viewList.add(BasicHTML.createHTMLView(tabPane, title)); } else { viewList.add(null); } } return viewList; }
private Vector createHTMLVector() { Vector htmlViews = new Vector(); int count = _tabPane.getTabCount(); if (count > 0) { for (int i = 0; i < count; i++) { String title = getCurrentDisplayTitleAt(_tabPane, i); if (BasicHTML.isHTMLString(title)) { htmlViews.addElement(BasicHTML.createHTMLView(_tabPane, title)); } else { htmlViews.addElement(null); } } } return htmlViews; }
/** * Set the error message for the dialog box * @param errorMessage Message for the error dialog */ private void setErrorMessage(String errorMessage) { if(BasicHTML.isHTMLString(errorMessage)) { this.errorMessage.setContentType("text/html"); } else { this.errorMessage.setContentType("text/plain"); } this.errorMessage.setText(errorMessage); this.errorMessage.setCaretPosition(0); }
/** * Set the error message for the dialog box * @param errorMessage Message for the error dialog */ private void setErrorMessage(String errorMessage) { if(BasicHTML.isHTMLString(errorMessage)) { this.errorMessage.setContentType("text/html"); } else { this.errorMessage.setContentType("text/plain"); } this.errorMessage.setText(errorMessage); this.errorMessage.setCaretPosition(0); }
/** * Set the error message for the dialog box * @param errorMessage Message for the error dialog */ private void setErrorMessage(String errorMessage) { if(BasicHTML.isHTMLString(errorMessage)) { this.errorMessage.setContentType("text/html"); } else { this.errorMessage.setContentType("text/plain"); } this.errorMessage.setText(errorMessage); this.errorMessage.setCaretPosition(0); }
/** * Set the error message for the dialog box * @param errorMessage Message for the error dialog */ private void setErrorMessage(String errorMessage) { if(BasicHTML.isHTMLString(errorMessage)) { this.errorMessage.setContentType("text/html"); } else { this.errorMessage.setContentType("text/plain"); } this.errorMessage.setText(errorMessage); this.errorMessage.setCaretPosition(0); }
/** * Set the error message for the dialog box * @param errorMessage Message for the error dialog */ private void setErrorMessage(String errorMessage) { if(BasicHTML.isHTMLString(errorMessage)) { this.errorMessage.setContentType("text/html"); } else { this.errorMessage.setContentType("text/plain"); } this.errorMessage.setText(errorMessage); this.errorMessage.setCaretPosition(0); }
private Vector createHTMLVector() { Vector htmlViews= new Vector(); int count= tabPane.getTabCount(); if (count > 0) { for (int i= 0; i < count; i++) { String title= tabPane.getTitleAt(i); if (BasicHTML.isHTMLString(title)) { htmlViews.addElement(BasicHTML.createHTMLView(tabPane, title)); } else { htmlViews.addElement(null); } } } return htmlViews; }
@Override public void setText(String text) { setBorder(noFocusBorder); if (text.matches(".*Fully specified name.*")) { text = text.replace("Fully specified name", "FSN"); } else if (text.matches(".*Synonym.*")) { text = text.replace("Synonym", "SYN"); } else if (text.matches(".*Definition.*")) { text = text.replace("Definition", "DEF"); } if (lineWrapEnabled) { if (!BasicHTML.isHTMLString(text)) { text = "<html>" + text; } super.setText(text); View v = BasicHTML.createHTMLView(this, getText()); v.setSize(fixedWidth, 0); float prefYSpan = v.getPreferredSpan(View.Y_AXIS); if (prefYSpan > 13) { wrapSize = new Dimension(fixedWidth, (int) (prefYSpan + 15)); setSize(wrapSize); } else { wrapSize = new Dimension(fixedWidth, (int) prefYSpan); setSize(wrapSize); } } else { super.setText(text); } }
if (BasicHTML.isHTMLString(text)) { text = text.substring(6);
if (BasicHTML.isHTMLString(title))
boolean isHTML= BasicHTML.isHTMLString(title); if (isHTML)
if (BasicHTML.isHTMLString(text)) { JEditorPane editor = new JEditorPane("text/html", text); editor.setFont(tipPane.getFont());
public void paint(Graphics _g) { if (!visible_) return; String tx = getDisplayText(); if ((tx == null)) return; Color tc = Color.BLACK; if (color_ != null) tc = color_.getColor(); _g.setColor(tc); Rectangle bd = getBounds(); if (BasicHTML.isHTMLString(tx)) { _g.setColor(Color.BLACK); if (view_ == null) view_ = DjaGraphics.drawHtmlText(_g, getGrid(), tx, bd); else { view_.paint(_g, bd); } return; } _g.setFont(getFont()); _g.setColor(tc); DjaGraphics.drawText(_g, tx, bd.x, bd.y, getAlignment(), bd.width, isUnderlined()); }
public void componentAdded(ContainerEvent e) { JTabbedPane tp = (JTabbedPane) e.getContainer(); TabbedPaneLayout layout = (TabbedPaneLayout) tp.getLayout(); layout.layoutContainer(tp); Component child = e.getChild(); if (child instanceof UIResource) { return; } int index = tp.indexOfComponent(child); String title = tp.getTitleAt(index); boolean isHTML = BasicHTML.isHTMLString(title); if (isHTML) { if (htmlViews == null) { // Initialize vector htmlViews = createHTMLViewList(); } else { // Vector already exists View v = BasicHTML.createHTMLView(tp, title); htmlViews.add(index, v); } } else { // Not HTML if (htmlViews != null) { // Add placeholder htmlViews.add(index, null); } // else nada! } }
boolean isHTML = BasicHTML.isHTMLString(title); if (isHTML) { if (htmlViews == null) { // Initialize vector