public void PrintDocument(NSPrintInfo info) { // Configure print job TextEditor.Print (this); } #endregion