comment to target issue

refs 2703

org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/IConstraintUI.java

@@ -66,6 +66,8 @@ public interface IConstraintUI {
 	 * This triggers a few goodies:
 	 * - wait 1s before triggering the constraint autocheck (if relevant)
 	 * - display a warning popup in case of first trigger of the verification
+	 * TODO(2703) make instead an event "onActivate" in order to allow customization. For instance
+	 * one could check if Z3 is present or not.
 	 */
 	public boolean isTimeConsuming();