Lines 74-80
Link Here
|
74 |
editorPane.setFocusTraversalKeys(KeyboardFocusManager.FORWARD_TRAVERSAL_KEYS, tfkeys); |
74 |
editorPane.setFocusTraversalKeys(KeyboardFocusManager.FORWARD_TRAVERSAL_KEYS, tfkeys); |
75 |
tfkeys = referenceTextField.getFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS); |
75 |
tfkeys = referenceTextField.getFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS); |
76 |
editorPane.setFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS, tfkeys); |
76 |
editorPane.setFocusTraversalKeys(KeyboardFocusManager.BACKWARD_TRAVERSAL_KEYS, tfkeys); |
77 |
editorPane.setFont(referenceTextField.getFont()); |
77 |
Font referenceFont = referenceTextField.getFont(); |
|
|
78 |
editorPane.setFont(new Font(referenceFont.getFontName(), referenceFont.getStyle(), referenceFont.getSize() + 1)); |
78 |
final Insets margin = referenceTextField.getMargin(); |
79 |
final Insets margin = referenceTextField.getMargin(); |
79 |
final Insets borderInsets = referenceTextField.getBorder().getBorderInsets(referenceTextField); |
80 |
final Insets borderInsets = referenceTextField.getBorder().getBorderInsets(referenceTextField); |
80 |
|
81 |
|
Lines 174-179
Link Here
|
174 |
editorPane.setBorder ( |
175 |
editorPane.setBorder ( |
175 |
new EmptyBorder (0, 0, 0, 0) |
176 |
new EmptyBorder (0, 0, 0, 0) |
176 |
); |
177 |
); |
|
|
178 |
Font referenceFont = referenceTextField.getFont(); |
179 |
editorPane.setFont(new Font(referenceFont.getFontName(), referenceFont.getStyle(), referenceFont.getSize())); |
177 |
editorPane.setBackground(referenceTextField.getBackground()); |
180 |
editorPane.setBackground(referenceTextField.getBackground()); |
178 |
} |
181 |
} |
179 |
|
182 |
|