def on_update_index(self, action, data=None): document = self.view.get_buffer() if document != None and document.get_location() != None: indexPath = self.get_index_filepath() gitPath = self.get_git_directory() pathManager = self.get_index_path_manager() update_gtk(indexPath, gitPath, pathManager)
# along with this program. If not, see <http://www.gnu.org/licenses/>. import sys from PHP.PhpIndex import PhpIndex from update_gtk import update_gtk def update_callback(done_count, all_count, file_path): progressStr = str(done_count) + "/" + str(all_count) + " : " print(progressStr + file_path) def error_callback(message): sys.stderr.write(message) if len(sys.argv)<4: print(" USAGE: "+sys.argv[0]+" [build|update|update-gtk] [INDEX-FILEPATH] [FOLDER-PATH]") elif sys.argv[1] == 'build': index = PhpIndex(sys.argv[2], update_callback, error_callback) index.build(sys.argv[3]) elif sys.argv[1] == 'update': index = PhpIndex(sys.argv[2], update_callback, error_callback) index.update(sys.argv[3]) elif sys.argv[1] == 'update-gtk': from gi.repository import Gtk index_filepath = sys.argv[1] folder_path = sys.argv[2] update_gtk(index_filepath, folder_path) Gtk.main()