Bernd Gehrmann bernd at physik.hu-berlin.de
Mon Dec 11 12:46:47 UTC 2000

On Mon, 11 Dec 2000, Falk Brettschneider wrote:
> Are you talking about the same things?
> Does John mean a special editor part?
> Bernd, are you talking about the manager which can handle several/different editor part plugins?

Currently, there is a part (derived from KDevEditorManager) that
maintains a list of all running editors. This is used e.g. when
the user clicks on a file in the file browser, in the compiler
output window or a in the grep frontend: if the respective file
is already loaded, its window is simply focussed; otherwise,
a new editor part is created for it.


to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body:
unsubscribe »your-email-address«

More information about the KDevelop-devel mailing list