1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
class Monitor(object):
def __init__(self, manager, editor):
editor.response()
self.__init_attributes(manager, editor)
self.__sigid1 = editor.connect("quit", self.__quit_cb)
self.__monitor.connect("changed", self.__update_cb)
editor.register_object(self)
editor.response()
def __init_attributes(self, manager, editor):
self.__editor = editor
self.__manager = manager
from os.path import join
database = join(editor.metadata_folder, "Preferences", "EncodingList.gdb")
self.__monitor = editor.get_file_monitor(database)
return
def __destroy(self):
self.__monitor.cancel()
self.__editor.disconnect_signal(self.__sigid1, self.__editor)
self.__editor.unregister_object(self)
del self
self = None
return
def __quit_cb(self, *args):
self.__destroy()
return False
def __update_cb(self, *args):
if not self.__editor.monitor_events(args, (0,2,3)): return False
self.__manager.emit("database-changed")
return False
|
