summaryrefslogtreecommitdiff
path: root/save.pl
diff options
context:
space:
mode:
Diffstat (limited to 'save.pl')
-rw-r--r--save.pl5
1 files changed, 4 insertions, 1 deletions
diff --git a/save.pl b/save.pl
index 517193e..7eaec84 100644
--- a/save.pl
+++ b/save.pl
@@ -1,6 +1,8 @@
:- consult(pce_file_search_path).
:- consult(library(pce)).
:- consult(library(process)).
+:- consult(ieditor).
+:- ieditor_gesture_override.
:- op(920,fy, *).
*_.
@@ -16,7 +18,7 @@ unlink(D) :->
:- pce_global(@dialog, new(save_dialog('Save'))).
:- pce_global(@files, new(chain)).
:- pce_global(@commits, new(chain)).
-:- pce_global(@editor, new(editor)).
+:- pce_global(@editor, new(ieditor)).
:- pce_global(@file_browser, new(browser)).
:- pce_global(@commit_browser, new(browser)).
:- pce_global(@save_button,
@@ -59,6 +61,7 @@ added(_) :-
send(@dialog, open).
refresh :-
+ shell("git add ."),
send(@files, clear),
status(@files),
send(@file_browser, members(@files)),