Creates a pop-up menu asking if unsaved changes should be discarded in the
preferences tab
jmwetzel Tianchang Gu
Merge branch 'dev' of https://github.com/cs3733bdt/wpi-suite into dev