[gnome-commander] GnomeCmdDir: added gnome_cmd_dir_is_monitored()

[Piotr Eljasiak <epiotr src gnome org>]

commit 8dfe896d52cd9b94718b55f90f326123454b69c0
Author: Piotr Eljasiak <epiotr src gnome org>
Date:   Fri Aug 6 22:29:08 2010 +0200

    GnomeCmdDir: added gnome_cmd_dir_is_monitored()

 src/gnome-cmd-dir.cc |    8 ++++++++
 src/gnome-cmd-dir.h  |    1 +
 2 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-cmd-dir.cc b/src/gnome-cmd-dir.cc
index e88497a..df70dde 100644
--- a/src/gnome-cmd-dir.cc
+++ b/src/gnome-cmd-dir.cc
@@ -863,6 +863,14 @@ void gnome_cmd_dir_cancel_monitoring (GnomeCmdDir *dir)
 }
 
 
+void gnome_cmd_dir_is_monitored (GnomeCmdDir *dir)
+{
+    g_return_val_if_fail (GNOME_CMD_IS_DIR (dir), FALSE);
+
+    return dir->priv->monitor_users > 0;
+}
+
+
 gboolean gnome_cmd_dir_is_local (GnomeCmdDir *dir)
 {
     g_return_val_if_fail (GNOME_CMD_IS_DIR (dir), FALSE);
diff --git a/src/gnome-cmd-dir.h b/src/gnome-cmd-dir.h
index d60d998..1a726f9 100644
--- a/src/gnome-cmd-dir.h
+++ b/src/gnome-cmd-dir.h
@@ -146,6 +146,7 @@ gboolean gnome_cmd_dir_uses_fam (GnomeCmdDir *dir);
 
 void gnome_cmd_dir_start_monitoring (GnomeCmdDir *dir);
 void gnome_cmd_dir_cancel_monitoring (GnomeCmdDir *dir);
+void gnome_cmd_dir_is_monitored (GnomeCmdDir *dir);
 gboolean gnome_cmd_dir_is_local (GnomeCmdDir *dir);
 void gnome_cmd_dir_set_content_changed (GnomeCmdDir *dir);