コード例 #1
0
ファイル: EditorSupport.java プロジェクト: kimtang/studio
 /**
  * Starts reloading of document. Could not be named reloadDocument, because of backward
  * compatibility.
  *
  * @return task one can listen on when reloading the document
  */
 protected Task reloadDocumentTask() {
   return del.superReloadDocument();
 }