diff options
author | Philippe Brochard <hocwp@free.fr> | 2010-01-23 23:41:23 +0100 |
---|---|---|
committer | Philippe Brochard <hocwp@free.fr> | 2010-01-23 23:41:23 +0100 |
commit | 551973d3e9526eb6e413ac37adbc8bac349eb369 (patch) | |
tree | 03cfb1d569994568a2fbb7fa24ea7fdd7de8893a /xbindkeys.c | |
parent | 6ed7b563137fc002dae373e0f8a6362263373000 (diff) | |
download | xbindkeys-551973d3e9526eb6e413ac37adbc8bac349eb369.tar.gz |
options.c: A poll-rc flag has been added to poll the rc/guile configuration file for update. By default no poll is done on configuration files. Many thanks to Alexander Clouter.
Diffstat (limited to 'xbindkeys.c')
-rw-r--r-- | xbindkeys.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/xbindkeys.c b/xbindkeys.c index 0178718..8d0ccfa 100644 --- a/xbindkeys.c +++ b/xbindkeys.c @@ -55,7 +55,7 @@ extern char rc_file[512]; #ifdef GUILE_FLAG extern char rc_guile_file[512]; #endif - +extern int poll_rc; #define SLEEP_TIME 100 @@ -247,13 +247,10 @@ event_loop (Display * d) rc_guile_file_changed = rc_guile_file_info.st_mtime; #endif - - while (True) { - while(!XPending(d)) + while(poll_rc && !XPending(d)) { - // if the rc file has been modified, reload it stat (rc_file, &rc_file_info); #ifdef GUILE_FLAG |