helper method to use "default" initial size
a dialog to edit name & description of some data element
added proof feature definition edit dialog
commands and handlers to edit Intent and ProofFeatureDef elements
dispose observable
use databinding for "misc" field
databinding for feature def update
dispose feature observables
data binding for "narrative" field
manual update no longer needed for feature table
take max of initial/default size
better dialog defaults