[Github-comments] [geany/geany] api: rename document_new_file to _file_new (and girskip the older one) (#1094)
Colomban Wendling
notifications at xxxxx
Wed Jun 29 15:09:19 UTC 2016
> In that sense document_new_file isn't correct either, it's not a file until you save it ;-)
True, although I feel `new` being less of a strong work here than `create`.
what about `open_a_new_document_tab_possibly_filling_it_with_the_contents_from_a_file()` :grin:
---
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/1094#issuecomment-229386766
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160629/8b502167/attachment.html>
More information about the Github-comments
mailing list