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