91 <dt>editorClosedEd(Editor)</dt> |
91 <dt>editorClosedEd(Editor)</dt> |
92 <dd> |
92 <dd> |
93 emitted just before an editor window gets |
93 emitted just before an editor window gets |
94 closed |
94 closed |
95 </dd> |
95 </dd> |
|
96 <dt>editorCountChanged(count)</dt> |
|
97 <dd> |
|
98 emitted whenever the count of open editors |
|
99 changed |
|
100 </dd> |
96 <dt>editorDoubleClickedEd(Editor, position, buttons)</dt> |
101 <dt>editorDoubleClickedEd(Editor, position, buttons)</dt> |
97 <dd> |
102 <dd> |
98 emitted to signal |
103 emitted to signal |
99 a mouse double click in an editor |
104 a mouse double click in an editor |
100 </dd> |
105 </dd> |