You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Allow customizing the tab_width in the formatter by respecting the global tab_width (tab-size today) option.
The tab_width should only change the width of a tab character but not allow changing the number of spaces when using indent-style= "space" (May require reverting #7301)
The text was updated successfully, but these errors were encountered:
Allow customizing the
tab_width
in the formatter by respecting the globaltab_width
(tab-size
today) option.The
tab_width
should only change the width of a tab character but not allow changing the number of spaces when usingindent-style= "space"
(May require reverting #7301)The text was updated successfully, but these errors were encountered: