spaces for tabs in partitioned editors