|
@@ 617-628 (lines=12) @@
|
| 614 |
|
update() |
| 615 |
|
|
| 616 |
|
|
| 617 |
|
def toggle_selector(event): |
| 618 |
|
log.debug('GUI: Key pressed.') |
| 619 |
|
if event.key in ['Q', 'q'] and toggle_selector.RS.active: |
| 620 |
|
log.debug('Selector deactivated.') |
| 621 |
|
toggle_selector.RS.set_active(False) |
| 622 |
|
if event.key in ['S', 's'] and not toggle_selector.RS.active: |
| 623 |
|
log.debug('Selector activated.') |
| 624 |
|
toggle_selector.RS.set_active(True) |
| 625 |
|
if event.key in ['R', 'r']: |
| 626 |
|
log.debug('Selector deactivated.') |
| 627 |
|
toggle_selector.RS.set_active(False) |
| 628 |
|
textbox.begin_typing(None) |
| 629 |
|
#textbox.set_val('') |
| 630 |
|
|
| 631 |
|
|
|
@@ 381-392 (lines=12) @@
|
| 378 |
|
update(slider_date.val) |
| 379 |
|
|
| 380 |
|
|
| 381 |
|
def toggle_selector(event): |
| 382 |
|
log.debug('GUI: Key pressed.') |
| 383 |
|
if event.key in ['Q', 'q'] and toggle_selector.RS.active: |
| 384 |
|
log.debug('Selector deactivated.') |
| 385 |
|
toggle_selector.RS.set_active(False) |
| 386 |
|
if event.key in ['S', 's'] and not toggle_selector.RS.active: |
| 387 |
|
log.debug('Selector activated.') |
| 388 |
|
toggle_selector.RS.set_active(True) |
| 389 |
|
if event.key in ['R', 'r']: |
| 390 |
|
log.debug('Selector deactivated.') |
| 391 |
|
toggle_selector.RS.set_active(False) |
| 392 |
|
textbox.begin_typing(None) |
| 393 |
|
#textbox.set_val('') |
| 394 |
|
|
| 395 |
|
|