doc property
Doc
doc
Retrieve the currently active document from an editor.
Implementation
Doc get doc {
var doc = _doc;
if (doc == null) {
doc = Doc.fromProxy(call('getDoc'));
_doc = doc;
}
return doc;
}