Searched refs:currentFrankId (Results 1 – 1 of 1) sorted by relevance
73 private String currentFrankId = null; field in JmolPopup292 if (currentFrankId != null && currentFrankId == id && nFrankList > 0) in setFrankMenu()300 currentFrankId = id; in setFrankMenu()