--- a/Plugins/ViewManagerPlugins/Listspace/Listspace.py Tue Aug 10 18:03:57 2010 +0200 +++ b/Plugins/ViewManagerPlugins/Listspace/Listspace.py Tue Aug 10 19:40:44 2010 +0200 @@ -123,6 +123,12 @@ @signal changeCaption(string) emitted if a change of the caption is necessary @signal editorChanged(string) emitted when the current editor has changed """ + editorOpened = pyqtSignal(str) + lastEditorClosed = pyqtSignal() + checkActions = pyqtSignal(Editor) + cursorChanged = pyqtSignal(Editor) + breakpointToggled = pyqtSignal(Editor) + def __init__(self, parent): """ Constructor