bb8770b976
The fix bit is the split. But since we are using col.separator() left and right we need this as well. I still don't think the separators are the way to go, yet may as well be consistent with the current design in place, thus the extra separator here too.