update_document_window


Description:

public void update_document_window (DocumentWindow? window)

Set the current document window for the editor