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;
}