Parent Directory | Revision Log | Patch
revision 1731 by iliev, Tue Apr 29 22:22:40 2008 UTC | revision 1732 by iliev, Sat May 3 01:40:06 2008 UTC | |
---|---|---|
# | Line 75 public class PrefsDlg extends EnhancedDi | Line 75 public class PrefsDlg extends EnhancedDi |
75 | PrefsDlg(Frame owner) { | PrefsDlg(Frame owner) { |
76 | super(owner, i18n.getLabel("PrefsDlg.title"), true); | super(owner, i18n.getLabel("PrefsDlg.title"), true); |
77 | ||
78 | defaultsPane = new JSDefaultsPropsPane(this, Res.iconEdit16); | defaultsPane = new JSDefaultsPropsPane(this, Res.iconEdit16, true); |
79 | ||
80 | JTabbedPane tp = new JTabbedPane(); | JTabbedPane tp = new JTabbedPane(); |
81 | tp.addTab(i18n.getLabel("PrefsDlg.tabGeneral"), genPane); | tp.addTab(i18n.getLabel("PrefsDlg.tabGeneral"), genPane); |
|
ViewVC Help | |
Powered by ViewVC |