More editor JS tweaks