ScriptManager.java | 96 TRIGGER_MANAGER, REFRESH, SEARCH, RENAME, EXTERNAL; 207 menu.add(Menu.NONE, MenuId.RENAME.getId(), Menu.NONE, "Rename"); 225 } else if (itemId == MenuId.RENAME.getId()) { 226 rename(file); 376 { "Run Foreground", "Run Background", "Edit", "Delete", "Rename" }; 403 rename(mCurrent); 472 private void rename(final File file) { method in class:ScriptManager 476 alert.setTitle("Rename"); 492 if (!FileUtils.rename(file, name)) [all...] |