ScriptManager.java | 100 TRIGGER_MANAGER, REFRESH, SEARCH, RENAME, EXTERNAL; 211 menu.add(Menu.NONE, MenuId.RENAME.getId(), Menu.NONE, "Rename"); 229 } else if (itemId == MenuId.RENAME.getId()) { 230 rename(file); 380 { "Run Foreground", "Run Background", "Edit", "Delete", "Rename" }; 407 rename(mCurrent); 476 private void rename(final File file) { method in class:ScriptManager 480 alert.setTitle("Rename"); 496 if (!FileUtils.rename(file, name)) [all...] |