1    import javax.swing.*;
2    import java.awt.event.*;
3    import java.awt.*;
4    import java.util.*;
5    
6    public class PrefFont extends PrefDef {
7    
8      private static final long serialVersionUID = Version.getSUID();
9    
10     public PrefFont() {
11       name = name+"Fonts";
12       defname = "font";
13     }
14   
15     public PrefFont(Carto target) {
16       super(target);
17       name = "Fonts";         //don't use file name - it could change.
18       defname = "font";
19     }
20   
21     public Class getDefClass() {
22       return(TextForm.class);
23     }
24   
25     public FileDefaultable makeDef(JFrame owner,String newname) {
26       return((FileDefaultable)new TextForm(newname));
27     }
28   
29   }
30