/** * Sets whether or not word wrap is enabled. This is overridden so that * the "current line highlight" gets updated if it needs to be. * * @param wrap Whether or not word wrap should be enabled. */ @Override public void setLineWrap(boolean wrap) { super.setLineWrap(wrap); forceCurrentLineHighlightRepaint(); }
/** * Sets whether the current line highlight should have a "fade" effect. * This method fires a property change event of type * <code>CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY</code>. * * @param fade Whether the fade effect should be enabled. * @see #getFadeCurrentLineHighlight */ public void setFadeCurrentLineHighlight(boolean fade) { if (fade!=fadeCurrentLineHighlight) { fadeCurrentLineHighlight = fade; if (getHighlightCurrentLine()) { forceCurrentLineHighlightRepaint(); } firePropertyChange(CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY, !fade, fade); } }
/** * Sets whether or not word wrap is enabled. This is overridden so that * the "current line highlight" gets updated if it needs to be. * * @param wrap Whether or not word wrap should be enabled. */ @Override public void setLineWrap(boolean wrap) { super.setLineWrap(wrap); forceCurrentLineHighlightRepaint(); }
/** * Sets whether or not word wrap is enabled. This is overridden so that * the "current line highlight" gets updated if it needs to be. * * @param wrap Whether or not word wrap should be enabled. */ public void setLineWrap(boolean wrap) { super.setLineWrap(wrap); forceCurrentLineHighlightRepaint(); }
/** * Sets whether or not word wrap is enabled. This is overridden so that * the "current line highlight" gets updated if it needs to be. * * @param wrap Whether or not word wrap should be enabled. */ public void setLineWrap(boolean wrap) { super.setLineWrap(wrap); forceCurrentLineHighlightRepaint(); }
/** * Sets whether the current line highlight should have a "fade" effect. * This method fires a property change event of type * <code>CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY</code>. * * @param fade Whether the fade effect should be enabled. * @see #getFadeCurrentLineHighlight */ public void setFadeCurrentLineHighlight(boolean fade) { if (fade!=fadeCurrentLineHighlight) { fadeCurrentLineHighlight = fade; if (getHighlightCurrentLine()) forceCurrentLineHighlightRepaint(); firePropertyChange(CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY, !fade, fade); } }
/** * Sets whether the current line highlight should have a "fade" effect. * This method fires a property change event of type * <code>CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY</code>. * * @param fade Whether the fade effect should be enabled. * @see #getFadeCurrentLineHighlight */ public void setFadeCurrentLineHighlight(boolean fade) { if (fade!=fadeCurrentLineHighlight) { fadeCurrentLineHighlight = fade; if (getHighlightCurrentLine()) forceCurrentLineHighlightRepaint(); firePropertyChange(CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY, !fade, fade); } }
/** * Sets whether the current line highlight should have a "fade" effect. * This method fires a property change event of type * <code>CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY</code>. * * @param fade Whether the fade effect should be enabled. * @see #getFadeCurrentLineHighlight */ public void setFadeCurrentLineHighlight(boolean fade) { if (fade!=fadeCurrentLineHighlight) { fadeCurrentLineHighlight = fade; if (getHighlightCurrentLine()) { forceCurrentLineHighlightRepaint(); } firePropertyChange(CURRENT_LINE_HIGHLIGHT_FADE_PROPERTY, !fade, fade); } }