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
Original issue reported on code.google.com by
JeremyFaden@gmail.com
on 24 Aug 2012 at 11:52