|
Revision 1312, 1.1 kB
(checked in by arj..@yirdis.nl, 2 years ago)
|
Renamed object inspector to property editor andmoved adapters to gaphor/adapters package.
|
| Line | |
|---|
| 1 |
""" |
|---|
| 2 |
Interfaces related to the user interface. |
|---|
| 3 |
""" |
|---|
| 4 |
|
|---|
| 5 |
from zope import interface |
|---|
| 6 |
|
|---|
| 7 |
|
|---|
| 8 |
class IDiagramSelectionChange(interface.Interface): |
|---|
| 9 |
""" |
|---|
| 10 |
The selection of a diagram changed. |
|---|
| 11 |
""" |
|---|
| 12 |
diagram_view = interface.Attribute('The diagram View that emits the event') |
|---|
| 13 |
|
|---|
| 14 |
focused_item = interface.Attribute('The diagram item that received focus') |
|---|
| 15 |
|
|---|
| 16 |
selected_items = interface.Attribute('All selected items in the diagram') |
|---|
| 17 |
|
|---|
| 18 |
|
|---|
| 19 |
class IUIComponent(interface.Interface): |
|---|
| 20 |
""" |
|---|
| 21 |
A user interface component |
|---|
| 22 |
""" |
|---|
| 23 |
|
|---|
| 24 |
ui_manager = interface.Attribute("The gtk.UIManager, set after construction") |
|---|
| 25 |
def construct(self): |
|---|
| 26 |
""" |
|---|
| 27 |
Create and display the UI components (windows). |
|---|
| 28 |
""" |
|---|
| 29 |
|
|---|
| 30 |
|
|---|
| 31 |
class IPropertyPage(interface.Interface): |
|---|
| 32 |
""" |
|---|
| 33 |
A property page which can display itself in a notebook |
|---|
| 34 |
""" |
|---|
| 35 |
|
|---|
| 36 |
def construct(self): |
|---|
| 37 |
""" |
|---|
| 38 |
Create the page (gtk.Widget) that belongs to the Property page. |
|---|
| 39 |
|
|---|
| 40 |
Returns the page's toplevel widget (gtk.Widget). |
|---|
| 41 |
""" |
|---|
| 42 |
|
|---|
| 43 |
def destroy(self): |
|---|
| 44 |
""" |
|---|
| 45 |
Destroy the page and clean up signal handlers and stuff. |
|---|
| 46 |
""" |
|---|
| 47 |
|
|---|
| 48 |
|
|---|
| 49 |
|
|---|