Re: [patch] support to set box features in the box dialog

[Richard Heck]

PS This:
+def revert_BoxFeatures(document):
+    " deletes new box features "
+
+    i = 0
+    while True:
+        i = find_token(document.body, "height_special", i)
+        if i == -1:
+            return
+        del document.body[i+1:i+4]
+        i = i + 1

also seems wrong. The setting for thickness is just disappearing. I 
gather that, in some sense, that may be the only option, other than 
producing ERT for the entire box. But the document will not compile the 
same way, right?

Richard