Sebastian Wehling-Benatelli 043c45e02c bugfix: undo filtering when checkbox is unchecked
code improvement: class PickDlg -> distinguish between setting the initial pick (for zooming) and setting the actual pick (phase onset); methods renamed -> setPick is now setIniPick and plotPick became setPick
2015-04-06 11:42:21 +02:00
..
2014-11-06 15:05:56 +01:00
2014-03-19 12:24:41 +01:00