// handled by gtk sourceview buffer...
return;
}
- GLib.debug("undo store %d", this.version);
+ GLib.debug("UNDO store %d", this.version);
this.undo_json.set(this.version, this.tree.toJsonString());
if (this.undo_json.has_key(this.version+1)) {
var n = this.version +1;
{
if (!this.undo_json.has_key(this.version + step)) {
- GLib.debug("undo step %d failed - no version available", this.version + step);
+ GLib.debug("UNDO step %d failed - no version available", this.version + step);
return false;
}
var pa = new Json.Parser();
- GLib.debug("RESTORE : %d", this.version + step);
+ GLib.debug("UNDO RESTORE : %d", this.version + step);
pa.load_from_data(this.undo_json.get(this.version + step));
var node = pa.get_root();