diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 21:48:37 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 21:48:37 +0100 |
| commit | 25a588bc2ca3c608e5c93c80baf2996f0d9c741f (patch) | |
| tree | b78cf0330dc6303d112f41263ccaa121be6f138d /save.pl | |
| parent | 6020c9326843ee232a4fea3b2be13f9f3516abbb (diff) | |
| download | save-25a588bc2ca3c608e5c93c80baf2996f0d9c741f.tar.gz | |
Use improved editor.
Diffstat (limited to 'save.pl')
| -rw-r--r-- | save.pl | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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)), |