Added method exitDMI
Revert "Added method exitDMI"

This reverts commit 93676a0d54e5edfba9922d59d8847b00d7712a33.
Bug Fix:Recent files menu does not remove file entry which is not exist
Bug Fix:Recent files menu does not remove file entry which is not exist
Improved syntax editor