Fix #25: Prevent the editor options form from submitting