Minor editor tweaks