minor improvement to ViewPropEdit backspace key handling (takes you to the visually preceeding node more reliably)

Author: zackriegman

src/org/argmap/client/ArgMap.java

@@ -4,8 +4,8 @@
 
 import com.google.gwt.core.client.EntryPoint;
 import com.google.gwt.core.client.GWT;
-import com.google.gwt.core.client.RunAsyncCallback;
 import com.google.gwt.core.client.GWT.UncaughtExceptionHandler;
+import com.google.gwt.core.client.RunAsyncCallback;
 import com.google.gwt.dom.client.Style;
 import com.google.gwt.event.logical.shared.SelectionEvent;
 import com.google.gwt.event.logical.shared.SelectionHandler;
@@ -22,7 +22,6 @@
 import com.google.gwt.user.client.ui.TabLayoutPanel;
 import com.google.gwt.user.client.ui.Widget;
 
-//TODO: on backspace delete of node skips preceeding link sibling and focuses on parent arg
 //TODO: rating an item seems to scroll it out of view!
 //TODO: deleting an items sometimes causes view to scroll to seemingly unrelated place...
 //TODO: the text of linked propositions and their children does not automatically update when edited elsewhere within the same window...
@@ -262,8 +261,8 @@ public void onSuccess() {
 				public void onFailure(Throwable reason) {
 					ArgMap.messageTimed("Code download failed",
 							MessageType.ERROR);
-					Log.log("am.sv.a.of", "Code download failed"
-							+ reason.toString());
+					Log.log("am.sv.a.of",
+							"Code download failed" + reason.toString());
 				}
 			});
 		}
@@ -402,8 +401,7 @@ public void onUncaughtException(Throwable e) {
 		} catch (Exception handlerException) {
 		}
 		GWT.log("Uncaught Exception", e);
-		if (Log.on)
-			Log.finishOpenLogs();
+		if (Log.on) Log.finishOpenLogs();
 	}
 
 	public ModeEdit getModeEdit() {

src/org/argmap/client/ViewPropEdit.java

@@ -533,7 +533,8 @@ else if (charCode == KeyCodes.KEY_BACKSPACE
 				&& textArea.getCursorPos() == 0) {
 			ViewPropEdit preceedingSibling = getPreceedingSibling();
 			if (preceedingSibling != null && !preceedingSibling.isLink()
-					&& !isLink() && !isTopLevel()) {
+					&& !isLink() && !isTopLevel()
+					&& !textArea.getText().equals("")) {
 				if (getChildCount() == 0) {
 					/* merge With Previous Sibling */
 					mergePropsAndDeleteOne(preceedingSibling, this,

war/WEB-INF/appengine-generated/datastore-indexes-auto.xml

@@ -1,8 +1,8 @@
-<!-- Indices written at Sun, 12 Dec 2010 18:41:39 EST -->
+<!-- Indices written at Mon, 13 Dec 2010 14:50:28 UTC -->
 
 <datastore-indexes>
 
-    <!-- Used 28 times in query history -->
+    <!-- Used 2 times in query history -->
     <datastore-index kind="Proposition" ancestor="false" source="auto">
         <property name="root" direction="asc"/>
         <property name="created" direction="desc"/>