It's weird because I saw the code which seems to handle it correctly. I will verify that. Just make sure that the terminal is focused. I know also that if you hold ALT or SHIFT or CTRL, it's not supposed to rename it.
edited by dhervieux on 8/8/2012
edited by dhervieux on 8/8/2012
edited by dhervieux on 8/8/2012
edited by dhervieux on 8/8/2012