public interface ITreeSelectionListener
void
selectionChanged(ITreeSelectionEvent event)
void selectionChanged(ITreeSelectionEvent event)
Siehe auch Jowidgets Nutzerhandbuch