Normand Briere
2019-04-29 8c837a9e50c29e66bdf5bd7ea2fd15b1a7d5d598
RandomEditor.java
....@@ -4,6 +4,8 @@
44 import javax.swing.*;
55 import javax.swing.event.*;
66
7
+import grafeme.ui.*;
8
+
79 class RandomEditor extends ObjEditor implements //ItemListener,
810 ChangeListener, ObjectUI, ActionListener
911 {
....@@ -122,7 +124,7 @@
122124 }
123125
124126 RandomNode switchnode;
125
- NumberSlider frameField;
127
+ cNumberSlider frameField;
126128
127129 ObjectUI parent;
128130