de.uni_paderborn.fujaba.mpEdit
Interface EditorOwnerInterface


public interface EditorOwnerInterface

No comment provided by developer, please add a comment to improve documentation.

Version:
$Revision: 1.9 $
Author:
$Author: schneider $

Method Summary
 void closingDoc(DocInterface doc)
          Called when the user is closing a document.
 void lastFileClosed()
          Called when the user has closed the last document.
 void openedDoc(DocInterface doc)
          Called when the user has opened a new document.
 

Method Detail

openedDoc

public void openedDoc(DocInterface doc)
Called when the user has opened a new document.

Parameters:
doc - A DocInterface for the opened document.

closingDoc

public void closingDoc(DocInterface doc)
Called when the user is closing a document.

Parameters:
doc - A DocInterface for the closing document.

lastFileClosed

public void lastFileClosed()
Called when the user has closed the last document.