update_document_window


Description:

public void update_document_window (DocumentWindow? window)