Skip to content

LineNumbersRuler font doesn't follow JEditorPane font #189

@GoogleCodeExporter

Description

@GoogleCodeExporter
What steps will reproduce the problem?
1. do the example script shown on the code.google.site
2. add a button to reset the editor font property
3. push the button

What is the expected output? What do you see instead?
The font should follow the editor font, but instead the editor bar stays the 
same size while the editor adjusts.  Lots of editors allow ctrl+minus and 
ctrl+plus to quickly adjust the size (including the new netbeans).

What version of the product are you using? On what operating system?
all

Please provide any additional information below.
I put a listener in to the install method, which seems to work fine, at around 
LineNumbersRuler.java line 130:
                editor.addPropertyChangeListener( "font", new PropertyChangeListener() {
                    @Override
                    public void propertyChange(PropertyChangeEvent evt) {
                        setFont( editor.getFont());
                    }
                });

Original issue reported on code.google.com by JeremyFaden@gmail.com on 24 Aug 2012 at 11:52

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions