API: Rename document_reload_file -> document_reload_force
commit9d669a72f74b9433b9ad8f40f1a1424c77f3172d
authorNick Treleaven <nick.treleaven@btinternet.com>
Wed, 24 Sep 2014 16:22:01 +0000 (24 17:22 +0100)
committerNick Treleaven <nick.treleaven@btinternet.com>
Thu, 25 Sep 2014 10:45:49 +0000 (25 11:45 +0100)
tree5a792c9abc056429aa25beb0ab9ed916f4fa7fa8
parentb646424ddb715382a937d233a75bc684c22e18ec
API: Rename document_reload_file -> document_reload_force

New name is clearer against document_reload_prompt.
Add deprecated alias.
plugins/geanyfunctions.h
src/document.c
src/document.h
src/plugindata.h
src/plugins.c