public void modifyText(ModifyEvent arg0) {
logger.warn("element modified");
// TODO refresh the editor
- EditorUtil.getActiveEditorPage(Page.NAME).setDirty();
+// EditorUtil.getActiveEditorPage(Page.NAME).setDirty();
}
};
/**
*
*/
- public AnnotationSection() {
- // TODO Auto-generated constructor stub
- }
+ public AnnotationSection() {}
private ModifyListener listener = new ModifyListener() {
/**
*
*/
- public CreatedSection() {
- // TODO Auto-generated constructor stub
- }
+ public CreatedSection() {}
private ModifyListener listener = new ModifyListener() {
reference.setTitleCache(cacheText.getText());
// TODO refresh the editor
- EditorUtil.getActiveEditorPage(Page.NAME).setDirty();
+// EditorUtil.getActiveEditorPage(Page.NAME).setDirty();
}
};