|
@@ 718-733 (lines=16) @@
|
| 715 |
|
update() |
| 716 |
|
|
| 717 |
|
|
| 718 |
|
def toggle_selector(event): |
| 719 |
|
log.debug('GUI: Key pressed.') |
| 720 |
|
if event.key in ['Q', 'q'] and toggle_selector.RS.active: |
| 721 |
|
log.debug('Selector deactivated.') |
| 722 |
|
toggle_selector.RS.set_active(False) |
| 723 |
|
if event.key in ['S', 's'] and not toggle_selector.RS.active: |
| 724 |
|
log.debug('Selector activated.') |
| 725 |
|
toggle_selector.RS.set_active(True) |
| 726 |
|
if event.key in ['R', 'r']: |
| 727 |
|
log.debug('Selector deactivated.') |
| 728 |
|
toggle_selector.RS.set_active(False) |
| 729 |
|
textbox.begin_typing(None) |
| 730 |
|
#textbox.set_val('') |
| 731 |
|
if event.key in ['E', 'e']: |
| 732 |
|
out.append_stdout('-> Close\n') |
| 733 |
|
plt.close() |
| 734 |
|
|
| 735 |
|
|
| 736 |
|
toggle_selector.RS = RectangleSelector(ax, line_select_callback, |
|
@@ 458-473 (lines=16) @@
|
| 455 |
|
update(slider_date.val) |
| 456 |
|
|
| 457 |
|
|
| 458 |
|
def toggle_selector(event): |
| 459 |
|
log.debug('GUI: Key pressed.') |
| 460 |
|
if event.key in ['Q', 'q'] and toggle_selector.RS.active: |
| 461 |
|
log.debug('Selector deactivated.') |
| 462 |
|
toggle_selector.RS.set_active(False) |
| 463 |
|
if event.key in ['S', 's'] and not toggle_selector.RS.active: |
| 464 |
|
log.debug('Selector activated.') |
| 465 |
|
toggle_selector.RS.set_active(True) |
| 466 |
|
if event.key in ['R', 'r']: |
| 467 |
|
log.debug('Selector deactivated.') |
| 468 |
|
toggle_selector.RS.set_active(False) |
| 469 |
|
textbox.begin_typing(None) |
| 470 |
|
#textbox.set_val('') |
| 471 |
|
if event.key in ['E', 'e']: |
| 472 |
|
out.append_stdout('-> Close\n') |
| 473 |
|
plt.close() |
| 474 |
|
|
| 475 |
|
|
| 476 |
|
toggle_selector.RS = RectangleSelector(ax, line_select_callback, |