[fix-text-edit
strick**20120226010739
 Ignore-this: c80b555041db16c2bfe9a5d9911a247e
] hunk ./terse-a1/src/terse/a1/TerseActivity.java 34
+import android.util.TypedValue;
+import android.view.Gravity;
hunk ./terse-a1/src/terse/a1/TerseActivity.java 223
-					ed.setInputType(InputType.TYPE_TEXT_FLAG_MULTI_LINE
+					ed.setInputType(InputType.TYPE_CLASS_TEXT | InputType.TYPE_TEXT_FLAG_MULTI_LINE
hunk ./terse-a1/src/terse/a1/TerseActivity.java 227
-					ed.setMinLines(12);
+					//ed.setMinLines(12);
hunk ./terse-a1/src/terse/a1/TerseActivity.java 229
+					ed.setTextSize(TypedValue.COMPLEX_UNIT_SP, 22);
+					ed.setGravity(Gravity.TOP);
+					ed.setScrollBarStyle(View.SCROLLBARS_OUTSIDE_INSET);
+					ed.setVerticalFadingEdgeEnabled(true);
+					ed.setVerticalScrollBarEnabled(true);
+					/* From Notepad Example:
+    android:layout_width="match_parent"
+    android:layout_height="match_parent"
+    android:background="@android:color/transparent"
+    android:padding="5dp"
+    android:scrollbars="vertical"
+    android:fadingEdge="vertical"
+    android:gravity="top"
+    android:textSize="22sp" 
+    */
hunk ./terse-a1/src/terse/a1/TerseActivity.java 332
+		explainv.setTextSize(TypedValue.COMPLEX_UNIT_SP, 22);
+		explainv.setTextColor(Color.YELLOW);
+		explainv.setTextIsSelectable(true);
hunk ./terse-vm/src/terse/vm/Pro.java 152
+		say("CMP <%s> <%s>", this, obj);
hunk ./terse-vm/src/terse/vm/Pro.java 156
+				say("CMP cls.name <%s> <%s>", this.cls.name, that.cls.name);
hunk ./terse-vm/src/terse/vm/Pro.java 159
-			Object innterThis = this.innerValue();
+			Object innerThis = this.innerValue();
hunk ./terse-vm/src/terse/vm/Pro.java 161
-			if (innterThis != null && innerThat != null) {
+			if (innerThis != null && innerThat != null) {
hunk ./terse-vm/src/terse/vm/Pro.java 163
-				return ((Pro) innterThis).compareTo(innerThat);
+				say("CMP inner <%s> <%s>", innerThis, innerThat);
+				return ((Comparable)innerThis).compareTo(innerThat);
hunk ./terse-vm/src/terse/vm/Pro.java 167
+		say("CMP identityHashCode <%s> <%s>", System.identityHashCode(this), System.identityHashCode(obj));
hunk ./terse-vm/src/terse/vm/Pro.java 972
-			// return repr();
hunk ./terse-vm/src/terse/vm/Pro.java 1189
+		@Override
hunk ./terse-vm/src/terse/vm/Pro.java 1206
-		public int compareTo(Pro o) {
+		@Override
+		public int compareTo(Object o) {
hunk ./terse-vm/src/terse/vm/Pro.java 1258
+		// =meth Vec "access" len "return length of the Vec"
+		public Num _len() {
+			return cls.terp.newNum(vec.size());
+		}
+
+		// =meth Vec "access" at: "get element at index a, modulo length of Vec"
+		public Pro at_(Num a) {
+			return vec.get(toNearestIndex(a));
+		}
+
+		// =meth Vec "access" at:put:
+		// "put element b at given a, modulo length of Vec"
+		public void at_put_(Num a, Pro b) {
+			vec.set(toNearestIndex(a), b);
+		}
+
+		// =meth Vec "access" append:,ap: "add new element ato end of Vec"
+		public void append_(Pro a) {
+			vec.add(a);
+		}
+