From 25a588bc2ca3c608e5c93c80baf2996f0d9c741f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 21:48:37 +0100 Subject: Use improved editor. --- save.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'save.pl') 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)), -- cgit v1.2.3