Tuning widths in editor tab