[new] log deleted picks in json file

This commit is contained in:
2019-05-29 15:58:37 +02:00
parent 02a0abffd9
commit 102b7eafe3
3 changed files with 68 additions and 24 deletions

View File

@@ -92,7 +92,7 @@ class Array_map(QtGui.QWidget):
raise TypeError('Unknown "picker" {}'.format(picker))
print(message)
pyl_mw = self._parent
pyl_mw.addPicks(station, {}, type=picker)
pyl_mw.deletePicks(station, pick, type=picker)
pyl_mw.setDirty(True)
pyl_mw.update_status(message)
if self.auto_refresh_box.isChecked():

View File

@@ -1620,6 +1620,7 @@ class PickDlg(QDialog):
self.arrivalsText = []
self.cidpick = []
self.cidpress = None
self.removed_picks = []
settings = QSettings()
pylot_user = getpass.getuser()
self._user = settings.value('user/Login', pylot_user)
@@ -2804,6 +2805,8 @@ class PickDlg(QDialog):
msg = 'Deleted {} pick for phase {}, station {} at timestamp {} (relative time: {} s)'
print(msg.format(picktype, phase, '{}.{}'.format(self.network, self.station),
self.getStartTime() + pick_rel, pick_rel))
removed_pick['station'] = self.station
self.removed_picks.append(removed_pick)
self.setDirty(True)
def identify_selected_picks(self, x):