Searched refs:hostIndex (Results 1 – 1 of 1) sorted by relevance
4768 int hostIndex = parser.getAttributeIntHex(null, "h"); in restoreWidgetState() local4769 Host host = restoredHosts.get(hostIndex); in restoreWidgetState()