|
1 |
fontPreviewArea.setFont(getChosenFont());
|
|
2 |
rdfInputArea.setFont(Editor.swingFont);
|
|
3 |
setFont( _plainFont );
|
|
4 |
this.area.setFont(new Font("monospaced", Font.PLAIN, 12)); }
|
|
5 |
setFont(UIManager.getFont("TextField.font"));
|
|
6 |
detailTA.setFont(new Font("Monospaced", Font.PLAIN, 14));
|
|
7 |
detailTA.setFont(new Font("Monospaced", Font.PLAIN, 14));
|
|
8 |
descLabel.setFont(f);
|
|
9 |
ta.setFont(ideFont());
|
|
10 |
m_textArea.setFont(CompierePLAF.getFont_Field());
|
|
11 |
textWrapper.setFont(new java.awt.Font("Dialog", textWrapper.getFont().getStyle(), textWrapper.getFont().getSize()));
|
|
12 |
consoleText.setFont(consoleFont);
|
|
13 |
editorComponent.setFont(table.getFont());
|
|
14 |
commentField.setFont(font);
|
|
15 |
_text.setFont(new Font("Monospaced", Font.PLAIN, 12));
|
|
16 |
consoleTA.setFont(GuiTools.NUMBER_FONT);
|
|
17 |
helpText.setFont(dummyLabel.getFont());
|
|
18 |
t.setFont(new Font ("Helvetica", Font.PLAIN, 8));
|
|
19 |
textArea.setFont(f);
|
|
20 |
_pathField.setFont( new Font( "Arial", Font.PLAIN, 14 ) );
|
