Startd to implement new code editor design. Fixed #1732.
Implementing more of new code editor design. Removed ThangList, EditorConfigModal, and a few other obsolete things.
Merged big .executing arrow.