Hi Thomas,
> The error occurs because updateTableGUI() (l.523 in
> PeakListTablePopupMenu.java) is called before the manual peak picker has
> finished. A simple solution would be to call updateTableGUI() after the peak
> picking has finished, that is in ManualPickerTask.java. However I don’t know
> how to call the function from this location. Another option would be to call
> updateTableGUI() in PeakListTablePopupMenu.java only when the manual peak
> picker has finished but with both solutions I need your help to implement it.
> Any suggestions?
Hmm, I think the updateTableGUI() method is probably useless in the current
implementation.
Probably the ManualPickerTask should call
MZmineCore.getCurrentProject().notifyObjectChanged(peakList, true) after
modifying the PeakListRow.
> A more ugly hack is to add something like the following to
> PeakListTablePopupMenu.java:
> updateTableGUI();
> Timer timer = new Timer();
> timer.schedule(new TimerTask() { public void run() { updateTableGUI(); } },
> 500); //msecs
> timer.schedule(new TimerTask() { public void run() { updateTableGUI(); } },
> 1000); //msecs
No more ugly hacks, please :)
Tomas
===============================================
Tomas Pluskal
G0 Cell Unit, Okinawa Institute of Science and Technology Graduate University
1919-1 Tancha, Onna-son, Okinawa 904-0495, Japan
WWW: https://groups.oist.jp/g0
TEL: +81-98-966-8684
Fax: +81-98-966-2890
------------------------------------------------------------------------------
Comprehensive Server Monitoring with Site24x7.
Monitor 10 servers for $9/Month.
Get alerted through email, SMS, voice calls or mobile push notifications.
Take corrective actions from your mobile device.
http://p.sf.net/sfu/Zoho
_______________________________________________
Mzmine-devel mailing list
Mzmine-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mzmine-devel
