[Github-comments] [geany/geany] Add Save, Save As, Reload to tabs (#3074) (PR #3206)

toddryan notifications at github.com
Mon May 16 14:12:50 UTC 2022


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

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

-- Commit Summary --

  * Add Save, Save As, Reload to tabs (#3074)

-- File Changes --

    M src/notebook.c (15)

-- Patch Links --

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

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3206
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/3206 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220516/e0a14774/attachment.htm>


More information about the Github-comments mailing list