.editorconfig doesn't work on mobile #945

Activity

1. cirosantilli commented on May 27, 2017

   

   cirosantilli

   on May 27, 2017

   Collaborator

   More actions

   Are you sure GitHub uses .editorconfig at all? Can you point to any official docs / announcement? https://stackoverflow.com/questions/33892410/editorconfig-file-in-github/
2. cirosantilli

   added

   file-view

   on May 27, 2017
3. Validark commented on May 27, 2017

   

   Validark

   on May 27, 2017

   Last edited by Validark

   Author

   More actions

   It definitely works on desktop, and if you ask for the desktop page on the mobile browser, the formatting is applied. The issue is with the mobile version of the website.
4. cirosantilli commented on May 27, 2017

   

   cirosantilli

   on May 27, 2017

   Collaborator

   More actions

   Yes, reproduce:

   • https://github.com/cirosantilli/test-editorconfig/blob/master/a.4
   • https://github.com/cirosantilli/test-editorconfig/blob/master/a.8
   • https://webapps.stackexchange.com/questions/56491/how-to-switch-to-github-mobile-website/106456#106456
5. cirosantilli

   added

   mobile

   bug

   on May 27, 2017
6. tanzislam commented on Oct 10, 2020

   

   tanzislam

   on Oct 10, 2020

   Last edited by tanzislam

   More actions

   This seems to work now in the mobile website (I'm using Chrome on Android 7.1.1), but not in the GitHub Android app.

   An unrelated thing I noticed in GitHub's implementation: tab_width is not derived from indent_size or inherited from the preamble, but needs to be explicitly specified in the relevant sections. I had to do tanzislam/cryptopals@2dbaa6e15 to make it work.