equal
deleted
inserted
replaced
197 |
197 |
198 widget_defs("Button") { |
198 widget_defs("Button") { |
199 activable(); |
199 activable(); |
200 } |
200 } |
201 |
201 |
|
202 // FlatButton is same as Button, but it has no active/inactive elements |
|
203 // and doesn't reflect current state |
|
204 widget_class("FlatButton"){ |
|
205 | frequency = 5; |
|
206 const "fsm","exsl:node-set($_button_fsm)"; |
|
207 call "generated_button_class" with "fsm", "$fsm"; |
|
208 } |
|
209 |
|
210 widget_defs("FlatButton"); |
|
211 |
202 widget_class("PushButton"){ |
212 widget_class("PushButton"){ |
203 | frequency = 20; |
213 | frequency = 20; |
204 const "fsm","exsl:node-set($_push_button_fsm)"; |
214 const "fsm","exsl:node-set($_push_button_fsm)"; |
205 call "generated_button_class" with "fsm", "$fsm"; |
215 call "generated_button_class" with "fsm", "$fsm"; |
206 } |
216 } |