[Github-comments] [geany/geany] [Issue #1138] Added 'Rename' option to right-click menu for Documents tab (#1140)

Bryan Elliott notifications at xxxxx
Thu Jul 14 19:42:47 UTC 2016


You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/1140

-- Commit Summary --

  * Added 'Rename' option to right-click menu for Documents tab

-- File Changes --

    M src/document.c (7)
    M src/document.h (1)
    M src/sidebar.c (18)

-- Patch Links --

https://github.com/geany/geany/pull/1140.patch
https://github.com/geany/geany/pull/1140.diff

---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1140
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160714/731b924a/attachment.html>


More information about the Github-comments mailing list