tonykwok / jsyntaxpane

Automatically exported from code.google.com/p/jsyntaxpane
0 stars 0 forks source link

LineNumbersRuler font doesn't follow JEditorPane font #189

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
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