25 |
import java.awt.BorderLayout; |
import java.awt.BorderLayout; |
26 |
import java.awt.Color; |
import java.awt.Color; |
27 |
import java.awt.Container; |
import java.awt.Container; |
28 |
|
import java.awt.Dialog; |
29 |
import java.awt.Dimension; |
import java.awt.Dimension; |
30 |
import java.awt.GraphicsEnvironment; |
import java.awt.GraphicsEnvironment; |
31 |
import java.awt.Font; |
import java.awt.Font; |
65 |
import org.jsampler.LSConsoleModel; |
import org.jsampler.LSConsoleModel; |
66 |
import org.jsampler.Prefs; |
import org.jsampler.Prefs; |
67 |
|
|
68 |
|
import org.jsampler.view.std.JSAdvancedGeneralPropsDlg; |
69 |
import org.jsampler.view.std.JSColorButton; |
import org.jsampler.view.std.JSColorButton; |
70 |
import org.jsampler.view.std.JSConnectionPropsPane; |
import org.jsampler.view.std.JSConnectionPropsPane; |
71 |
import org.jsampler.view.std.JSDefaultsPropsPane; |
import org.jsampler.view.std.JSDefaultsPropsPane; |
84 |
public class PrefsDlg extends EnhancedDialog { |
public class PrefsDlg extends EnhancedDialog { |
85 |
private final JTabbedPane tabbedPane = new JTabbedPane(); |
private final JTabbedPane tabbedPane = new JTabbedPane(); |
86 |
|
|
87 |
private final GeneralPane genPane = new GeneralPane(); |
private final GeneralPane genPane = new GeneralPane(this); |
88 |
private final ViewPane viewPane = new ViewPane(); |
private final ViewPane viewPane = new ViewPane(); |
89 |
private final ConsolePane consolePane = new ConsolePane(); |
private final ConsolePane consolePane = new ConsolePane(); |
90 |
private final JSConnectionPropsPane connectionPane = new JSConnectionPropsPane(); |
private final JSConnectionPropsPane connectionPane = new JSConnectionPropsPane(); |
209 |
|
|
210 |
private final RecentScriptsPane recentScriptsPane = new RecentScriptsPane(); |
private final RecentScriptsPane recentScriptsPane = new RecentScriptsPane(); |
211 |
|
|
212 |
|
private final JButton btnAdvanced = new JButton(i18n.getButtonLabel("GeneralPane.btnAdvanced")); |
213 |
|
|
214 |
|
private final Dialog owner; |
215 |
|
|
216 |
public |
public |
217 |
GeneralPane() { |
GeneralPane(Dialog owner) { |
218 |
|
this.owner = owner; |
219 |
|
|
220 |
setLayout(new BoxLayout(this, BoxLayout.Y_AXIS)); |
setLayout(new BoxLayout(this, BoxLayout.Y_AXIS)); |
221 |
|
|
222 |
checkWindowSizeAndLocation.setAlignmentX(JPanel.LEFT_ALIGNMENT); |
checkWindowSizeAndLocation.setAlignmentX(JPanel.LEFT_ALIGNMENT); |
259 |
add(Box.createRigidArea(new Dimension(0, 6))); |
add(Box.createRigidArea(new Dimension(0, 6))); |
260 |
|
|
261 |
add(recentScriptsPane); |
add(recentScriptsPane); |
262 |
|
|
263 |
|
add(Box.createRigidArea(new Dimension(0, 6))); |
264 |
|
|
265 |
|
JPanel p = new JPanel(); |
266 |
|
p.setLayout(new BoxLayout(p, BoxLayout.X_AXIS)); |
267 |
|
|
268 |
|
JPanel p2 = new JPanel(); |
269 |
|
p2.setLayout(new BorderLayout()); |
270 |
|
p.add(p2); |
271 |
|
p.add(btnAdvanced); |
272 |
|
p.setAlignmentX(JPanel.LEFT_ALIGNMENT); |
273 |
|
add(p); |
274 |
|
|
275 |
add(Box.createGlue()); |
add(Box.createGlue()); |
276 |
|
|
277 |
setBorder(BorderFactory.createEmptyBorder(6, 6, 6, 6)); |
setBorder(BorderFactory.createEmptyBorder(6, 6, 6, 6)); |
278 |
|
|
279 |
|
btnAdvanced.addActionListener(new ActionListener() { |
280 |
|
public void |
281 |
|
actionPerformed(ActionEvent e) { showAdvancedProperties(); } |
282 |
|
}); |
283 |
|
} |
284 |
|
|
285 |
|
private void |
286 |
|
showAdvancedProperties() { |
287 |
|
new JSAdvancedGeneralPropsDlg(owner).setVisible(true); |
288 |
} |
} |
289 |
|
|
290 |
protected void |
protected void |