From: Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
Date: Thu, 11 Dec 2014 12:40:12 +0000 (+0100)
Subject: Dirty hack to improve size computation for hypotheses.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8e0f5754fc81b6b3eca23a6fc30481bfb2a68b1e;p=logicplayer.git

Dirty hack to improve size computation for hypotheses.
---

diff --git a/mainActivity/AndroidManifest.xml b/mainActivity/AndroidManifest.xml
index 4eb25ff..b9b6088 100755
--- a/mainActivity/AndroidManifest.xml
+++ b/mainActivity/AndroidManifest.xml
@@ -2,7 +2,7 @@
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     package="com.example.furt.myapplication" >
     <uses-sdk
-        android:minSdkVersion="19"
+        android:minSdkVersion="16"
         android:targetSdkVersion="19" />
     <uses-permission android:name="android.permission.INTERNET" />
     <application
diff --git a/mainActivity/bin/AndroidManifest.xml b/mainActivity/bin/AndroidManifest.xml
index 1e93667..b9b6088 100644
--- a/mainActivity/bin/AndroidManifest.xml
+++ b/mainActivity/bin/AndroidManifest.xml
@@ -2,7 +2,7 @@
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     package="com.example.furt.myapplication" >
     <uses-sdk
-        android:minSdkVersion="19"
+        android:minSdkVersion="16"
         android:targetSdkVersion="19" />
     <uses-permission android:name="android.permission.INTERNET" />
     <application
@@ -30,6 +30,7 @@
             android:exported="false"/>
         <activity
             android:name=".download_page"
+            android:configChanges="orientation|screenSize">
             android:label="@string/listEs" >
         </activity>
         <activity
diff --git a/mainActivity/bin/classes.dex b/mainActivity/bin/classes.dex
index 6c65325..2655b97 100644
Binary files a/mainActivity/bin/classes.dex and b/mainActivity/bin/classes.dex differ
diff --git a/mainActivity/bin/dexedLibs/android-support-v4-70fb0600066156aa2b6d08c87cc768e7.jar b/mainActivity/bin/dexedLibs/android-support-v4-70fb0600066156aa2b6d08c87cc768e7.jar
index 03919cb..5c061d9 100644
Binary files a/mainActivity/bin/dexedLibs/android-support-v4-70fb0600066156aa2b6d08c87cc768e7.jar and b/mainActivity/bin/dexedLibs/android-support-v4-70fb0600066156aa2b6d08c87cc768e7.jar differ
diff --git a/mainActivity/bin/mainActivity.apk b/mainActivity/bin/mainActivity.apk
index d3f871c..e59dcc2 100644
Binary files a/mainActivity/bin/mainActivity.apk and b/mainActivity/bin/mainActivity.apk differ
diff --git a/mainActivity/bin/resources.ap_ b/mainActivity/bin/resources.ap_
index 15a9ba0..cb80daa 100644
Binary files a/mainActivity/bin/resources.ap_ and b/mainActivity/bin/resources.ap_ differ
diff --git a/mainActivity/res/layout/.activity_my.xml.swp b/mainActivity/res/layout/.activity_my.xml.swp
deleted file mode 100644
index 477157c..0000000
Binary files a/mainActivity/res/layout/.activity_my.xml.swp and /dev/null differ
diff --git a/mainActivity/src/com/example/furt/myapplication/touchnodeHandler.java b/mainActivity/src/com/example/furt/myapplication/touchnodeHandler.java
index 002fb00..237a7cd 100755
--- a/mainActivity/src/com/example/furt/myapplication/touchnodeHandler.java
+++ b/mainActivity/src/com/example/furt/myapplication/touchnodeHandler.java
@@ -82,17 +82,17 @@ public class touchnodeHandler implements View.OnClickListener {
             final TextView newT=new TextView(view.getContext());
             RelativeLayout.LayoutParams myP=new RelativeLayout.LayoutParams(ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);
             newT.setText(n.NodeHP.get(i).HP.toString());
-            newT.setTextSize(TypedValue.COMPLEX_UNIT_SP,30);
+            newT.setTextSize(20);
             newT.setId(DrawActivity.globalId++);
             if (i==0) //prima ipotesi: sarà il leftID per le successive
                 leftID=newT.getId();
             myP.setMargins(50,0,0,0);
             float thisSize;
-            p.setTextSize(30);
+            p.setTextSize(20);
             thisSize=p.measureText(newT.getText().toString()); //misuro la larghezza dell'ipotesi inserita
             thisSize+=thisSize*0.2; //con un'approssimazione per eccesso del 20%
             sum+=thisSize; //aggiungo alla somma totale la larghezza di questa ipotesi e della spaziatura
-            sum+=50;
+            sum+=100;
             if (sum>(DrawActivity.v.widthPixels+20)) //ho superato la larghezza dello schermo: devo andare a capo
             {
                 sum=thisSize; //il nuovo nodo è il primo della nuova riga