Now when loading, takes the default font options from the DuffPane.

This commit is contained in:
amontano 2003-08-14 14:16:23 +00:00
parent 2b59d9838d
commit da384c6c2f

View file

@ -69,6 +69,7 @@ public class DuffScannerPanel extends ScannerPanel implements ItemListener
super(file, true); super(file, true);
Panel panel1, panel2, toolBar; Panel panel1, panel2, toolBar;
int i; int i;
Font f;
prefWindow = null; prefWindow = null;
@ -81,6 +82,7 @@ public class DuffScannerPanel extends ScannerPanel implements ItemListener
with tibcodes.ini in a jar file. */ with tibcodes.ini in a jar file. */
duffInput = new DuffPane(); duffInput = new DuffPane();
duffInput.disableRoman(); duffInput.disableRoman();
f = new Font(duffInput.getRomanFontFamily(), Font.PLAIN, duffInput.getRomanFontSize());
JPanel jpanel = new JPanel(new GridLayout(1,1)); JPanel jpanel = new JPanel(new GridLayout(1,1));
JScrollPane jsp = new JScrollPane(duffInput, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); JScrollPane jsp = new JScrollPane(duffInput, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
@ -89,14 +91,17 @@ public class DuffScannerPanel extends ScannerPanel implements ItemListener
inputPanel.add(jpanel, "1"); inputPanel.add(jpanel, "1");
txtInput = new TextArea("",0,0,TextArea.SCROLLBARS_VERTICAL_ONLY); txtInput = new TextArea("",0,0,TextArea.SCROLLBARS_VERTICAL_ONLY);
txtInput.setFont(f);
inputPanel.add(txtInput, "2"); inputPanel.add(txtInput, "2");
panel1.add(inputPanel); panel1.add(inputPanel);
fullDef = new TextArea("",0,0,TextArea.SCROLLBARS_VERTICAL_ONLY); fullDef = new TextArea("",0,0,TextArea.SCROLLBARS_VERTICAL_ONLY);
fullDef.setEditable(false); fullDef.setEditable(false);
fullDef.setFont(f);
model = new DictionaryTableModel(null); model = new DictionaryTableModel(null);
table = new DictionaryTable(model, fullDef); table = new DictionaryTable(model, fullDef);
table.activateTibetan(true); table.activateTibetan(true);
table.setRomanFont(f);
listDef = new JScrollPane(table); listDef = new JScrollPane(table);
panel1.add(listDef); panel1.add(listDef);