@elextr commented on this pull request.

In .editorconfig:

> @@ -0,0 +1,11 @@
+root = true
+
+[*]
+indent_size = 4
+end_of_line = lf
+
+[*.{c,h,cxx,am,m4}]
+indent_style = tab

width/size whatever :) the point is that from what I could find by googling (there is no official github documentation) is that github only uses the .editorconfig indent_size if indent_style = tab.

I guess it figures that if style is set to spaces then it better show the actual spaces, and if it comes across a tab, well let it show whatever the users ?ts= setting is (or default 8)

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.