]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/src/com/example/furt/myapplication/touchParserHandler.java
New version (to be tested).
[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / touchParserHandler.java
index 464cc09c9bfe8aedd11a9d539b6432596a99c720..655901f4da3cfbdbb16d679196188b4313946a6b 100755 (executable)
@@ -2,6 +2,7 @@ package com.example.furt.myapplication;
 
 import android.view.View;
 import android.widget.TextView;
+import android.widget.Toast;
 
 public class touchParserHandler implements View.OnClickListener
 {
@@ -14,6 +15,11 @@ public class touchParserHandler implements View.OnClickListener
     }
     public void onClick(View view)
     {
+        if(!parserDialog.F.toString().contains("_"))
+        {
+            Toast.makeText(DrawActivity.rootNode.view.getContext(),"Formula completa! Premere \"Undo\" per modificare", Toast.LENGTH_SHORT).show();
+            return;
+        }
         parserDialog.undo.add(parserDialog.F.duplicate());
         parserDialog.formulaLayout.removeAllViews();
         if(type==0)