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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
""" The default editor manager. """
# Standard library imports.
import weakref
# Enthought library imports.
from enthought.traits.api import HasTraits, Instance, implements
# Local imports.
from i_editor_manager import IEditorManager
from traits_ui_editor import TraitsUIEditor
class EditorManager(HasTraits):
""" The default editor manager. """
implements(IEditorManager)
#### 'IEditorManager' interface ###########################################
# The workbench window that the editor manager manages editors for ;^)
window = Instance('enthought.pyface.workbench.api.WorkbenchWindow')
###########################################################################
# 'object' interface.
###########################################################################
def __init__(self, **traits):
""" Constructor. """
super(EditorManager, self).__init__(**traits)
# A mapping from editor to editor kind (the factory that created them).
self._editor_to_kind_map = weakref.WeakKeyDictionary()
return
###########################################################################
# 'IEditorManager' interface.
###########################################################################
def add_editor(self, editor, kind):
""" Registers an existing editor. """
self._editor_to_kind_map[editor] = kind
def create_editor(self, window, obj, kind):
""" Create an editor for an object. """
editor = TraitsUIEditor(window=window, obj=obj)
self.add_editor(editor, kind)
return editor
def get_editor(self, window, obj, kind):
""" Get the editor that is currently editing an object. """
for editor in window.editors:
if self._is_editing(editor, obj, kind):
break
else:
editor = None
return editor
def get_editor_kind(self, editor):
""" Return the 'kind' associated with 'editor'. """
return self._editor_to_kind_map[editor]
def get_editor_memento(self, editor):
""" Return the state of an editor suitable for pickling etc.
By default we don't save the state of editors.
"""
return None
def set_editor_memento(self, memento):
""" Restore the state of an editor from a memento.
By default we don't try to restore the state of editors.
"""
return None
###########################################################################
# 'Protected' 'EditorManager' interface.
###########################################################################
def _is_editing(self, editor, obj, kind):
""" Return True if the editor is editing the object. """
return editor.obj == obj
#### EOF ######################################################################
|
