Searched refs:refreshPrincipals (Results 1 – 3 of 3) sorted by relevance
258 public MenuItemShadow refreshPrincipals; field in KdcGuiRoot2326 refreshPrincipals = new MenuItemShadow(); in KdcGuiRoot()2327 refreshPrincipals.set("name", "refreshPrincipals"); in KdcGuiRoot()2328 menu2.add(refreshPrincipals); in KdcGuiRoot()2329 refreshPrincipals.set("text", "Principal List"); in KdcGuiRoot()
192 ops[12].filter.target = gui.refreshPrincipals; in initializeOps()
590 gui.refreshPrincipals.set("text" /* NOI18N */, in initMainStrings()5356 gui.refreshPrincipals.set("enabled", no); in fixListPanels()5373 gui.refreshPrincipals.set("enabled", yes); in fixListPanels()