The Editor Update v1.3.1

A quick push to fix a deletion bug where deletes were taking place at
the bottom of the code instead of at the specific point in the program.