72
72
// top half (miscellaneous controls)
73
73
generalShowCursorCoordinates.setSelected(User.isShowHierarchicalCursorCoordinates());
74
makeErrorHighlightingPulsate.setSelected(User.isErrorHighlightingPulsate());
75
showCellsInNewWindow.setSelected(User.isShowCellsInNewWindow());
74
76
dimUpperWhenDownInPlace.setSelected(User.isDimUpperLevelWhenDownInPlace());
75
77
sideBarOnRight.setSelected(User.isSideBarOnRight());
76
78
generalPanningDistance.addItem("Small");
113
115
if (currBoolean != User.isDimUpperLevelWhenDownInPlace())
114
116
User.setDimUpperLevelWhenDownInPlace(currBoolean);
118
currBoolean = makeErrorHighlightingPulsate.isSelected();
119
if (currBoolean != User.isErrorHighlightingPulsate())
120
User.setErrorHighlightingPulsate(currBoolean);
122
currBoolean = showCellsInNewWindow.isSelected();
123
if (currBoolean != User.isShowCellsInNewWindow())
124
User.setShowCellsInNewWindow(currBoolean);
116
126
currBoolean = sideBarOnRight.isSelected();
117
127
if (currBoolean != User.isSideBarOnRight())
118
128
User.setSideBarOnRight(currBoolean);
207
217
User.setPanningDistance(User.getFactoryPanningDistance());
208
218
if (User.getFactoryDisplayStyle() != User.getDisplayStyle())
209
219
User.setDisplayStyle(User.getFactoryDisplayStyle());
220
if (User.isFactoryErrorHighlightingPulsate() != User.isErrorHighlightingPulsate())
221
User.setErrorHighlightingPulsate(User.isFactoryErrorHighlightingPulsate());
222
if (User.isFactoryShowCellsInNewWindow() != User.isShowCellsInNewWindow())
223
User.setShowCellsInNewWindow(User.isFactoryShowCellsInNewWindow());
211
225
// bottom half (display algorithm)
212
226
if (User.getFactoryDisplayAlgorithm() != User.getDisplayAlgorithm())
236
250
* WARNING: Do NOT modify this code. The content of this method is
237
251
* always regenerated by the Form Editor.
239
// <editor-fold defaultstate="collapsed" desc=" Generated Code ">//GEN-BEGIN:initComponents
253
// <editor-fold defaultstate="collapsed" desc="Generated Code">//GEN-BEGIN:initComponents
240
254
private void initComponents() {
241
255
java.awt.GridBagConstraints gridBagConstraints;
265
279
jLabel7 = new javax.swing.JLabel();
266
280
jLabel2 = new javax.swing.JLabel();
267
281
displayStyle = new javax.swing.JComboBox();
282
makeErrorHighlightingPulsate = new javax.swing.JCheckBox();
268
283
dimUpperWhenDownInPlace = new javax.swing.JCheckBox();
270
getContentPane().setLayout(new java.awt.GridBagLayout());
284
showCellsInNewWindow = new javax.swing.JCheckBox();
272
286
setTitle("Edit Options");
287
setName(""); // NOI18N
274
288
addWindowListener(new java.awt.event.WindowAdapter() {
275
289
public void windowClosing(java.awt.event.WindowEvent evt) {
276
290
closeDialog(evt);
293
getContentPane().setLayout(new java.awt.GridBagLayout());
280
295
general.setLayout(new java.awt.GridBagLayout());
300
315
jLabel1.setText("Panning distance:");
301
316
gridBagConstraints = new java.awt.GridBagConstraints();
302
317
gridBagConstraints.gridx = 0;
303
gridBagConstraints.gridy = 3;
318
gridBagConstraints.gridy = 5;
304
319
gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
305
320
gridBagConstraints.insets = new java.awt.Insets(2, 4, 2, 4);
306
321
general.add(jLabel1, gridBagConstraints);
308
322
gridBagConstraints = new java.awt.GridBagConstraints();
309
323
gridBagConstraints.gridx = 1;
310
gridBagConstraints.gridy = 3;
324
gridBagConstraints.gridy = 5;
311
325
gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
312
326
gridBagConstraints.insets = new java.awt.Insets(2, 4, 2, 4);
313
327
general.add(generalPanningDistance, gridBagConstraints);
329
jPanel1.setBorder(javax.swing.BorderFactory.createTitledBorder("Display Algorithm"));
315
330
jPanel1.setLayout(new java.awt.GridBagLayout());
317
jPanel1.setBorder(javax.swing.BorderFactory.createTitledBorder("Display Algorithm"));
318
332
displayAlgorithm.add(pixelDisplay);
319
333
pixelDisplay.setText("Pixel Display Algorithm (old)");
320
334
pixelDisplay.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 0, 0, 0));
475
487
gridBagConstraints = new java.awt.GridBagConstraints();
476
488
gridBagConstraints.gridx = 0;
477
gridBagConstraints.gridy = 5;
489
gridBagConstraints.gridy = 7;
478
490
gridBagConstraints.gridwidth = 2;
479
491
gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
480
492
gridBagConstraints.weightx = 1.0;
483
495
jLabel2.setText("Display style:");
484
496
gridBagConstraints = new java.awt.GridBagConstraints();
485
497
gridBagConstraints.gridx = 0;
486
gridBagConstraints.gridy = 4;
498
gridBagConstraints.gridy = 6;
487
499
gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
488
500
gridBagConstraints.insets = new java.awt.Insets(2, 4, 4, 4);
489
501
general.add(jLabel2, gridBagConstraints);
491
503
gridBagConstraints = new java.awt.GridBagConstraints();
492
504
gridBagConstraints.gridx = 1;
493
gridBagConstraints.gridy = 4;
505
gridBagConstraints.gridy = 6;
494
506
gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
495
507
gridBagConstraints.insets = new java.awt.Insets(2, 4, 4, 4);
496
508
general.add(displayStyle, gridBagConstraints);
510
makeErrorHighlightingPulsate.setText("Make error highlighting pulsate");
511
gridBagConstraints = new java.awt.GridBagConstraints();
512
gridBagConstraints.gridx = 0;
513
gridBagConstraints.gridy = 4;
514
gridBagConstraints.gridwidth = 2;
515
gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
516
gridBagConstraints.insets = new java.awt.Insets(2, 4, 2, 4);
517
general.add(makeErrorHighlightingPulsate, gridBagConstraints);
498
519
dimUpperWhenDownInPlace.setText("Dim upper levels of hierarchy when editing Down-In-Place");
499
520
gridBagConstraints = new java.awt.GridBagConstraints();
500
521
gridBagConstraints.gridx = 0;
504
525
gridBagConstraints.insets = new java.awt.Insets(2, 4, 2, 4);
505
526
general.add(dimUpperWhenDownInPlace, gridBagConstraints);
528
showCellsInNewWindow.setText("Show cell results in new window");
529
gridBagConstraints = new java.awt.GridBagConstraints();
530
gridBagConstraints.gridx = 0;
531
gridBagConstraints.gridy = 3;
532
gridBagConstraints.gridwidth = 2;
533
gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
534
gridBagConstraints.insets = new java.awt.Insets(2, 4, 2, 4);
535
general.add(showCellsInNewWindow, gridBagConstraints);
507
537
getContentPane().add(general, new java.awt.GridBagConstraints());
549
579
private javax.swing.JLabel jLabel8;
550
580
private javax.swing.JPanel jPanel1;
551
581
private javax.swing.JRadioButton layerDisplay;
582
private javax.swing.JCheckBox makeErrorHighlightingPulsate;
552
583
private javax.swing.JTextField patternScaleLimit;
553
584
private javax.swing.JRadioButton pixelDisplay;
554
585
private javax.swing.JButton resetOpacity;
586
private javax.swing.JCheckBox showCellsInNewWindow;
555
587
private javax.swing.JCheckBox sideBarOnRight;
556
588
private javax.swing.JCheckBox useNewBlending;
557
589
private javax.swing.JRadioButton vectorDisplay;