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";
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