marcel/pylot
3
0
Fork 0
Code Issues 7 Pull Requests 1 Releases Wiki Activity

[bugfix] delete picks after jk/wadati not working

Browse Source
This commit is contained in:
Marcel Paffrath 2017-09-05 15:03:03 +02:00
parent c6105330e0
commit 88bf4c8f67
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pylot/core/util/map_projection.py
View File

@ -1,3 +1,6 @@
#!/usr/bin/env python
# -*- coding: utf-8 -*-
import matplotlib.pyplot as plt
import numpy as np
import obspy
@ -13,6 +16,7 @@ plt.interactive(False)
class map_projection(QtGui.QWidget):
def __init__(self, parent, figure=None):
'''
:param: picked, can be False, auto, manual
:value: str
'''

6
pylot/core/util/widgets.py
View File

@ -2027,7 +2027,7 @@ class PickDlg(QDialog):
for picktype in allpicks.keys():
picks = allpicks[picktype]
for phase in picks:
if not type(phase) in [dict, AttribDict]:
if not type(picks[phase]) in [dict, AttribDict]:
continue
pick_rel = picks[phase]['mpp'] - starttime
# add relative pick time, phaseID and picktype index
@ -2039,8 +2039,8 @@ class PickDlg(QDialog):
# delete the value from corresponding dictionary
allpicks[picktype].pop(phase)
# information output
msg = 'Deleted {} pick for phase {}, {}[s] from starttime {}'
print(msg.format(picktype, phase, pick_rel, starttime))
msg = 'Deleted {} pick for phase {}, at timestamp {} (relative time: {} s)'
print(msg.format(picktype, phase, starttime+pick_rel, pick_rel))
self.setDirty(True)
def drawPhaseText(self):