- fixed a bug with drag and drop for statement/part theorems