Revision 2890

tmp/org.txm.annotation.rcp/src/org/txm/annotation/rcp/editor/AnnotationArea.java (revision 2890)
1 1
package org.txm.annotation.rcp.editor;
2 2

  
3
import java.util.List;
4 3
import java.util.Locale;
5 4

  
6 5
import org.eclipse.swt.widgets.Composite;
7
import org.txm.concordance.core.functions.Line;
8 6
import org.txm.core.results.TXMResult;
9 7
import org.txm.rcp.editors.TXMEditor;
10 8
import org.txm.rcp.swt.GLComposite;
11
import org.txm.searchengine.cqp.corpus.CQPCorpus;
12 9

  
13 10
/**
14 11
 * A widget to show in a to annotate a Result within a TXMEditor
tmp/org.txm.annotation.rcp/src/org/txm/annotation/rcp/editor/AnnotationExtension.java (revision 2890)
185 185
		aa._close();
186 186
		if (annotationAreas.size() == 0) {
187 187
			editor.getTopToolbar().setVisible(GROUP_NAME, false);
188
			saveButton.setEnabled(false);
188 189
		}
189 190
	}
190 191

  

Also available in: Unified diff