equal
deleted
inserted
replaced
76 data_name = selection.item |
76 data_name = selection.item |
77 update_chart |
77 update_chart |
78 } |
78 } |
79 } |
79 } |
80 |
80 |
|
81 private val limit_data = new TextField("200", 5) { |
|
82 tooltip = "Limit for accumulated data" |
|
83 verifier = (s: String) => |
|
84 s match { case Value.Int(x) => x > 0 case _ => false } |
|
85 reactions += { case ValueChanged(_) => input_delay.invoke() } |
|
86 } |
|
87 |
81 private val reset_data = new Button("Reset") { |
88 private val reset_data = new Button("Reset") { |
82 tooltip = "Reset accumulated data" |
89 tooltip = "Reset accumulated data" |
83 reactions += { |
90 reactions += { |
84 case ButtonClicked(_) => clear_statistics() |
91 case ButtonClicked(_) => clear_statistics() |
85 update_chart |
92 update_chart |
86 } |
93 } |
87 } |
94 } |
88 |
95 |
89 private val limit_data = new TextField("200", 5) { |
96 private val controls = Wrap_Panel(List(select_data, limit_data, reset_data)) |
90 tooltip = "Limit for accumulated data" |
|
91 verifier = (s: String) => |
|
92 s match { case Value.Int(x) => x > 0 case _ => false } |
|
93 reactions += { case ValueChanged(_) => input_delay.invoke() } |
|
94 } |
|
95 |
|
96 private val controls = Wrap_Panel(List(select_data, reset_data, limit_data)) |
|
97 |
97 |
98 |
98 |
99 /* layout */ |
99 /* layout */ |
100 |
100 |
101 set_content(new ChartPanel(chart)) |
101 set_content(new ChartPanel(chart)) |