| branch | svghmi |
| changeset 3045 | f6d428330e04 |
| parent 3021 | 49799de67540 |
| child 3056 | 827bf284feec |
| 3029:61b0491fe05b | 3045:f6d428330e04 |
|---|---|
4 || |
4 || |
5 class SliderWidget extends Widget{ |
5 class SliderWidget extends Widget{ |
6 frequency = 5; |
6 frequency = 5; |
7 range = undefined; |
7 range = undefined; |
8 fi = undefined; |
8 fi = undefined; |
9 svg_dist = undefined; |
|
9 drag = false; |
10 drag = false; |
10 enTimer = false; |
11 enTimer = false; |
11 |
12 |
12 dispatch(value) { |
13 dispatch(value) { |
13 if(this.value_elt) |
14 if(this.value_elt) |