var remove_files_f = new Array<GitMonitorQueue>();
for(var ii = 0;ii < remove_files.length;ii++) {
- if (GitMonitorQueue.indexOfAdd(add_files, remove_files.index(ii).rm) > -1 ) {
+ if (GitMonitorQueue.indexOfAdd(add_files, remove_files.index(ii).vname) > -1 ) {
continue;
}
remove_files_f.append_val(remove_files.index(ii));
if (failure.length > 0) {
- var notification = new Notify.Notification({
+ var notification = new Notify.Notification(
summary: "Git Live ERROR!!",
string.joinv("\n",failure),
"dialog-information"
- });
+ );
notification.set_timeout(5); // show errros for longer
notification.show();
- public void onChanged(MonitorNamePathDir src)
+ public new void onChanged(MonitorNamePathDir src)
{
return; // always ignore this..?
//this.parsePath(src);
* results in git add + git commit..
*
*/
- public void onChangesDoneHint(MonitorNamePathDir src)
+ public new void onChangesDoneHint(MonitorNamePathDir src)
{
if (this.paused) {
- return true;
+ return;
}
}
- public void onDeleted(MonitorNamePathDir src)
+ public new void onDeleted(MonitorNamePathDir src)
{
if (this.paused) {
- return true;
+ return;
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
this.queue.append_val(cmd);
}
- public void onCreated(MonitorNamePathDir src) {
+ public new void onCreated(MonitorNamePathDir src) {
if (this.paused) {
- return true;
+ return;
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
}
- public void onAttributeChanged(MonitorNamePathDir src) {
+ public new void onAttributeChanged(MonitorNamePathDir src) {
if (this.paused) {
- return true;
+ return;
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
}
- public void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest)
+ public new void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest)
{
+ if (this.paused) {
+ return;
+ }
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd_s = new GitMonitorQueue(src);