RandomEditor.java
.. .. @@ -4,6 +4,8 @@ 4 4 import javax.swing.*; 5 5 import javax.swing.event.*; 6 6 7 +import grafeme.ui.*;8 +7 9 class RandomEditor extends ObjEditor implements //ItemListener, 8 10 ChangeListener, ObjectUI, ActionListener 9 11 { .. .. @@ -122,7 +124,7 @@ 122 124 } 123 125 124 126 RandomNode switchnode; 125 - NumberSlider frameField;127 + cNumberSlider frameField;126 128 127 129 ObjectUI parent; 128 130