Announce: GWorkspace 0.1.5

[Enrico Sersale]

Added a new class "GWFileWatcher" which GWorkspace uses to notify the
browser, the shelf, etc. when specific files or directories are changed. 

It has also a distributed notifications interface to permit other apps to
use this service.

Only a FileWatcher object is used for each watched dir. Any watcher has
two counters, one for the local and one for the external listeners. The
counters are increased or decreased depending on the requests from the
listeners. If the last listener unregister themself, the object is
released.
The code is in "FileWatchers.m" and in "Watcher.m".

Added a preference panel (Info->Preferences->File System Watching) where
you can set the frequency and the timeout of the watchers.

Anyway, I've not noticed any change in speed using a watching frequency of
1 sec.

Please, report the bugs.

Ciao, Enrico.

GWorkspace is at:
www.gnustep.it/enrico/gworkspace
www.imago.ro/gworkspace