equal
deleted
inserted
replaced
248 pending_widget_animates.push(this); |
248 pending_widget_animates.push(this); |
249 this.pending_animate = true; |
249 this.pending_animate = true; |
250 requestHMIAnimation(); |
250 requestHMIAnimation(); |
251 } |
251 } |
252 |
252 |
|
253 } |
|
254 |
|
255 activate_activable(eltsub) { |
|
256 eltsub.inactive.style.display = "none"; |
|
257 eltsub.active.style.display = ""; |
|
258 } |
|
259 |
|
260 inactivate_activable(eltsub) { |
|
261 eltsub.active.style.display = "none"; |
|
262 eltsub.inactive.style.display = ""; |
253 } |
263 } |
254 } |
264 } |
255 || |
265 || |
256 } |
266 } |
257 |
267 |