Set DocModified on widget deletion

And on widget cut and paste, and on widget raise/sunken
Merge pull request #405 from plugz/vc_delete_widget

Set DocModified on widget deletion