Searched refs:timeDetail (Results 1 – 1 of 1) sorted by relevance
114 String timeDetail = "unknown time"; in writeTime() local116 timeDetail = timeMap.get(time); in writeTime()118 appendTextField("Time", time + " (" + timeDetail + ")"); in writeTime()