From: Alan Knowles <alan@akbkhome.com>
Date: Sat, 10 May 2014 14:30:14 +0000 (+0800)
Subject: GitMonitor.vala
X-Git-Url: http://git.roojs.org/?p=gitlive;a=commitdiff_plain;h=c55973b7b7912dc13418dd8534d1869300ecf4b5

GitMonitor.vala
---

diff --git a/GitMonitor.vala b/GitMonitor.vala
index 771ac4f3..a33a1162 100644
--- a/GitMonitor.vala
+++ b/GitMonitor.vala
@@ -443,7 +443,7 @@ public class GitMonitor : Monitor
    
 
 
-    public void onChanged(MonitorNamePathDir src) 
+    public new void onChanged(MonitorNamePathDir src) 
     { 
         return; // always ignore this..?
         //this.parsePath(src);
@@ -455,7 +455,7 @@ public class GitMonitor : Monitor
      *  results in  git add  + git commit..
      *
      */
-    public void onChangesDoneHint(MonitorNamePathDir src)  
+    public new void onChangesDoneHint(MonitorNamePathDir src)  
     { 
         
         if (this.paused) {
@@ -496,7 +496,7 @@ public class GitMonitor : Monitor
  
          
     }
-    public void onDeleted(MonitorNamePathDir src) 
+    public new void onDeleted(MonitorNamePathDir src) 
    { 
         if (this.paused) {
             return true;
@@ -520,7 +520,7 @@ public class GitMonitor : Monitor
         this.queue.append_val(cmd);
  
     }
-    public void onCreated(MonitorNamePathDir src) {
+    public new void onCreated(MonitorNamePathDir src) {
 
         if (this.paused) {
             return true;
@@ -550,7 +550,7 @@ public class GitMonitor : Monitor
 
     }
 
-    public void onAttributeChanged(MonitorNamePathDir src) { 
+    public new void onAttributeChanged(MonitorNamePathDir src) { 
 
         if (this.paused) {
             return true;
@@ -570,7 +570,7 @@ public class GitMonitor : Monitor
     }
 
 
-   public void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest)  
+   public new void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest)  
     { 
         this.lastAdd = new DateTime.now(new TimeZone.local()); 
         var cmd_s = new GitMonitorQueue(src);