Fix #176, add 8-pixel margin to left of editor panel