Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

F2 to rename #1922

Merged
merged 1 commit into from
Oct 23, 2012
Merged

F2 to rename #1922

merged 1 commit into from
Oct 23, 2012

Conversation

zanqi
Copy link
Contributor

@zanqi zanqi commented Oct 23, 2012

Added keyboard shortcut for renaming file/directory.

@peterflynn
Copy link
Member

Looks good -- merging!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants