Document.Store: refresh() method
GUI: minimal Property editing