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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
# (C) Copyright 2005-2023 Enthought, Inc., Austin, TX
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in LICENSE.txt and may be redistributed only under
# the conditions described in the aforementioned license. The license
# is also available online at http://www.enthought.com/licenses/BSD.txt
#
# Thanks for using Enthought open source!
""" The interface for workbench parts. """
from traits.api import Any, Bool, HasTraits, Instance, Interface
from traits.api import List, provides, Str
class IWorkbenchPart(Interface):
""" The interface for workbench parts.
A workbench part is a visual section within the workbench. There are two
sub-types, 'View' and 'Editor'.
"""
# The toolkit-specific control that represents the part.
#
# The framework sets this to the value returned by 'create_control'.
control = Any()
# Does the part currently have the focus?
has_focus = Bool(False)
# The part's globally unique identifier.
id = Str()
# The part's name (displayed to the user).
name = Str()
# The current selection within the part.
selection = List()
# The workbench window that the part is in.
#
# The framework sets this when the part is created.
window = Instance("pyface.workbench.api.WorkbenchWindow")
# Methods -------------------------------------------------------------#
def create_control(self, parent):
""" Create the toolkit-specific control that represents the part.
The parameter *parent* is the toolkit-specific control that is the
parts's parent.
Return the toolkit-specific control.
"""
def destroy_control(self):
""" Destroy the toolkit-specific control that represents the part.
Return None.
"""
def set_focus(self):
""" Set the focus to the appropriate control in the part.
Return None.
"""
@provides(IWorkbenchPart)
class MWorkbenchPart(HasTraits):
""" Mixin containing common code for toolkit-specific implementations. """
# 'IWorkbenchPart' interface -------------------------------------------
# The toolkit-specific control that represents the part.
#
# The framework sets this to the value returned by 'create_control'.
control = Any()
# Does the part currently have the focus?
has_focus = Bool(False)
# The part's globally unique identifier.
id = Str()
# The part's name (displayed to the user).
name = Str()
# The current selection within the part.
selection = List()
# The workbench window that the part is in.
#
# The framework sets this when the part is created.
window = Instance("pyface.workbench.api.WorkbenchWindow")
# Methods -------------------------------------------------------------#
def create_control(self, parent):
""" Create the toolkit-specific control that represents the part. """
raise NotImplementedError()
def destroy_control(self):
""" Destroy the toolkit-specific control that represents the part. """
raise NotImplementedError()
def set_focus(self):
""" Set the focus to the appropriate control in the part. """
raise NotImplementedError()
|
