Enables to change the workspace directory at the settings page.
Fixes the problem that the application crashes when the home directory does not exist.
Enables to toggle the development tool button.