/** * Respond to a timeChange event * * @param time new time */ protected void timeChanged(Real time) { try { super.timeChanged(time); dataNode.setTime(new DateTime(time)); if (getProfilesVisibility()) { AnimationWidget aniWidget = this.getAnimationWidget(); int idx = 0; if (aniWidget.getTimes() != null) { int n = aniWidget.getTimes().length; for (int i = 0; i < n; i++) { if ((new DateTime(time)).equals(aniWidget.getTimeAtIndex(i))) { idx = i; continue; } } } aeroDisplay.setProfilesVisibility(true, idx); // display list update Set s = getDataTimeSet(); if (s != null) { double[][] samples = s.getDoubles(); DateTime dt = new DateTime(samples[0][idx + 1], s.getSetUnits()[0]); DateTime dt1 = new DateTime(samples[0][idx], s.getSetUnits()[0]); listlabel = dt1.dateString() + ":" + dt1.timeString() + " and " + dt.dateString() + ":" + dt.timeString(); } updateDisplayList(); updateHeaderLabel(); } } catch (Exception ex) { logException("timeValueChanged", ex); } }