[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