Add reset button, fix several bugs, sensor input

Add reset button. Fix bugs by change < into > in the highlighting function
and search function. Made the initial window wider, add the text field for
sensor input. Pop up a window before closing the editor.
Add the headers to the editor

Users can import the headers from the menu bar.
Fix merge conflicts