Searched refs:editPreferences (Results 1 – 3 of 3) sorted by relevance
211 public MenuItemShadow editPreferences; field in KdcGuiRoot2315 editPreferences = new MenuItemShadow(); in KdcGuiRoot()2316 editPreferences.set("name", "editPreferences"); in KdcGuiRoot()2317 editMenu.add(editPreferences); in KdcGuiRoot()2318 editPreferences.set("text", "Properties..."); in KdcGuiRoot()
183 ops[11].filter.target = gui.editPreferences; in initializeOps()
390 editPreferences(); in checkEditPreferences()587 gui.editPreferences.set("text" /* NOI18N */, in initMainStrings()2666 public void editPreferences() { in editPreferences() method in KdcGui