projects
/
gitlive
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2dfedbe
)
GitMonitor.vala
author
Alan Knowles
<alan@akbkhome.com>
Sat, 10 May 2014 14:30:14 +0000
(22:30 +0800)
committer
Alan Knowles
<alan@akbkhome.com>
Sat, 10 May 2014 14:30:14 +0000
(22:30 +0800)
GitMonitor.vala
patch
|
blob
|
history
diff --git
a/GitMonitor.vala
b/GitMonitor.vala
index
771ac4f
..
a33a116
100644
(file)
--- 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);
{
return; // always ignore this..?
//this.parsePath(src);
@@
-455,7
+455,7
@@
public class GitMonitor : Monitor
* results in git add + git commit..
*
*/
* results in git add + git commit..
*
*/
- public void onChangesDoneHint(MonitorNamePathDir src)
+ public
new
void onChangesDoneHint(MonitorNamePathDir src)
{
if (this.paused) {
{
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;
{
if (this.paused) {
return true;
@@
-520,7
+520,7
@@
public class GitMonitor : Monitor
this.queue.append_val(cmd);
}
this.queue.append_val(cmd);
}
- public void onCreated(MonitorNamePathDir src) {
+ public
new
void onCreated(MonitorNamePathDir src) {
if (this.paused) {
return true;
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;
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);
{
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd_s = new GitMonitorQueue(src);