blob: 835ea014066f83ea78d1f452a120e72afdb2159e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
(************************************************************************)
(* v * The Coq Proof Assistant / The Coq Development Team *)
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
(* \VV/ **************************************************************)
(* // * This file is distributed under the terms of the *)
(* * GNU Lesser General Public License Version 2.1 *)
(************************************************************************)
open Ideutils
let prefs = Preferences.current
let revert_timer = mktimer ()
let autosave_timer = mktimer ()
class type ops =
object
method filename : string option
method update_stats : unit
method changed_on_disk : bool
method revert : unit
method auto_save : unit
method save : string -> bool
method saveas : string -> bool
end
class fileops (buffer:GText.buffer) _fn (reset_handler:unit->unit) =
object(self)
val mutable filename = _fn
val mutable last_stats = NoSuchFile
val mutable last_modification_time = 0.
val mutable last_auto_save_time = 0.
method filename = filename
method update_stats = match filename with
|Some f -> last_stats <- Ideutils.stat f
|_ -> ()
method changed_on_disk = match filename with
|None -> false
|Some f -> match Ideutils.stat f, last_stats with
|MTime cur_mt, MTime last_mt -> cur_mt > last_mt
|MTime _, (NoSuchFile|OtherError) -> true
|NoSuchFile, MTime _ ->
flash_info ("Warning, file not on disk anymore : "^f);
false
|_ -> false
method revert =
let do_revert f =
push_info "Reverting buffer";
try
reset_handler ();
let b = Buffer.create 1024 in
Ideutils.read_file f b;
let s = try_convert (Buffer.contents b) in
buffer#set_text s;
self#update_stats;
buffer#place_cursor ~where:buffer#start_iter;
buffer#set_modified false;
pop_info ();
flash_info "Buffer reverted";
Sentence.tag_all buffer;
with _ ->
pop_info ();
flash_info "Warning: could not revert buffer";
in
match filename with
| None -> ()
| Some f ->
if not buffer#modified then do_revert f
else
let answ = GToolbox.question_box
~title:"Modified buffer changed on disk"
~buttons:["Revert from File";
"Overwrite File";
"Disable Auto Revert"]
~default:0
~icon:(stock_to_widget `DIALOG_WARNING)
"Some unsaved buffers changed on disk"
in
match answ with
| 1 -> do_revert f
| 2 -> if self#save f then flash_info "Overwritten" else
flash_info "Could not overwrite file"
| _ ->
Minilib.log "Auto revert set to false";
prefs.Preferences.global_auto_revert <- false;
revert_timer.kill ()
method save f =
if try_export f (buffer#get_text ()) then begin
filename <- Some f;
self#update_stats;
buffer#set_modified false;
(match self#auto_save_name with
| None -> ()
| Some fn -> try Sys.remove fn with _ -> ());
true
end
else false
method saveas f =
if not (Sys.file_exists f) then self#save f
else
let answ = GToolbox.question_box ~title:"File exists on disk"
~buttons:["Overwrite"; "Cancel";]
~default:1
~icon:(warn_image ())#coerce
("File "^f^" already exists")
in
match answ with
| 1 -> self#save f
| _ -> false
method private auto_save_name =
match filename with
| None -> None
| Some f ->
let dir = Filename.dirname f in
let base = (fst prefs.Preferences.auto_save_name) ^
(Filename.basename f) ^
(snd prefs.Preferences.auto_save_name)
in Some (Filename.concat dir base)
method private need_auto_save =
buffer#modified &&
last_modification_time > last_auto_save_time
method auto_save =
if self#need_auto_save then begin
match self#auto_save_name with
| None -> ()
| Some fn ->
try
last_auto_save_time <- Unix.time();
Minilib.log ("Autosave time: "^(string_of_float (Unix.time())));
if try_export fn (buffer#get_text ()) then begin
flash_info ~delay:1000 "Autosaved"
end
else warning
("Autosave failed (check if " ^ fn ^ " is writable)")
with _ ->
warning ("Autosave: unexpected error while writing "^fn)
end
initializer
let _ = buffer#connect#end_user_action
~callback:(fun () -> last_modification_time <- Unix.time ())
in ()
end
|
