|
@@ 727-742 (lines=16) @@
|
| 724 |
|
update() |
| 725 |
|
|
| 726 |
|
|
| 727 |
|
def toggle_selector(event): |
| 728 |
|
log.debug('GUI: Key pressed.') |
| 729 |
|
if event.key in ['Q', 'q'] and toggle_selector.RS.active: |
| 730 |
|
log.debug('Selector deactivated.') |
| 731 |
|
toggle_selector.RS.set_active(False) |
| 732 |
|
if event.key in ['S', 's'] and not toggle_selector.RS.active: |
| 733 |
|
log.debug('Selector activated.') |
| 734 |
|
toggle_selector.RS.set_active(True) |
| 735 |
|
if event.key in ['R', 'r']: |
| 736 |
|
log.debug('Selector deactivated.') |
| 737 |
|
toggle_selector.RS.set_active(False) |
| 738 |
|
textbox.begin_typing(None) |
| 739 |
|
#textbox.set_val('') |
| 740 |
|
if event.key in ['E', 'e']: |
| 741 |
|
out.append_stdout('-> Close\n') |
| 742 |
|
plt.close() |
| 743 |
|
|
| 744 |
|
|
| 745 |
|
toggle_selector.RS = RectangleSelector(ax, line_select_callback, |
|
@@ 463-478 (lines=16) @@
|
| 460 |
|
update(slider_date.val) |
| 461 |
|
|
| 462 |
|
|
| 463 |
|
def toggle_selector(event): |
| 464 |
|
log.debug('GUI: Key pressed.') |
| 465 |
|
if event.key in ['Q', 'q'] and toggle_selector.RS.active: |
| 466 |
|
log.debug('Selector deactivated.') |
| 467 |
|
toggle_selector.RS.set_active(False) |
| 468 |
|
if event.key in ['S', 's'] and not toggle_selector.RS.active: |
| 469 |
|
log.debug('Selector activated.') |
| 470 |
|
toggle_selector.RS.set_active(True) |
| 471 |
|
if event.key in ['R', 'r']: |
| 472 |
|
log.debug('Selector deactivated.') |
| 473 |
|
toggle_selector.RS.set_active(False) |
| 474 |
|
textbox.begin_typing(None) |
| 475 |
|
#textbox.set_val('') |
| 476 |
|
if event.key in ['E', 'e']: |
| 477 |
|
out.append_stdout('-> Close\n') |
| 478 |
|
plt.close() |
| 479 |
|
|
| 480 |
|
|
| 481 |
|
toggle_selector.RS = RectangleSelector(ax, line_select_callback, |