javax.swing.text.MutableAttributeSet set = new javax.swing.text.SimpleAttributeSet(textPane.getParagraphAttributes()); javax.swing.text.StyleConstants.setLineSpacing(set, (float)-0.1); textPane.setParagraphAttributes(set, false);
/** Creates new MMAX2Document */ public MMAX2Document(String currentDisplayFontName, int currentDisplayFontSize) { super(); currentAttributes = new SimpleAttributeSet(); StyleConstants.setLineSpacing(currentAttributes, (float)1.5); setDisplayFontName(currentDisplayFontName); setDisplayFontSize(currentDisplayFontSize); }
StyleConstants.setLineSpacing(set, -.2f); ta.setParagraphAttributes(set, false);
public final void requestSetLineSpacing(String spacing) { float val = (float)0.0; try { val = Float.parseFloat(spacing); } catch (java.lang.NumberFormatException ex) { } SimpleAttributeSet result = new SimpleAttributeSet(); StyleConstants.setLineSpacing(result, (float)val); getCurrentDocument().setParagraphAttributes(0, getCurrentDocument().getLength(),result, false); }
StyleConstants.setLineSpacing(attr, 0); doc.setParagraphAttributes(0, doc.getLength(), attr, false);
StyleConstants.setLineSpacing(attr, 0); doc.setParagraphAttributes(0, doc.getLength(), attr, false);
_outputPanel.setBackground( new Color( 20, 20, 20 ) ); SimpleAttributeSet sas = new SimpleAttributeSet(); StyleConstants.setLineSpacing( sas, -.2f ); _outputPanel.setParagraphAttributes( sas, false ); _outputPanel.setEditable( false );
_editor.putClientProperty( "caretWidth", 2 ); SimpleAttributeSet sas = new SimpleAttributeSet(); StyleConstants.setLineSpacing( sas, -.2f );
StyleConstants.setLineSpacing(att, space); this.setParagraphAttributes(att, false);
StyleConstants.setLeftIndent(master, 10); StyleConstants.setRightIndent(master, 10); StyleConstants.setLineSpacing(master, (float)0.2); doc.setParagraphAttributes(0, 0, master, true);
StyleConstants.setLineSpacing(paragraphStyle, spacing); paragraphStyle.addAttribute(Attribute.PARAGRAPH_SPACING, settings.getLong("paragraphSpacing"));