jafartke / google-code-prettify

Automatically exported from code.google.com/p/google-code-prettify
Apache License 2.0
0 stars 0 forks source link

Tab indent size #249

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
Is it possible to change the tab indent size? Can I assign 4 or 5 or 10 spaces 
to it?

Thanks in advance.

Original issue reported on code.google.com by thiagomo...@gmail.com on 4 Oct 2012 at 7:11

GoogleCodeExporter commented 8 years ago
An old version of the code turned tabs into spaces, and had a knob that let you 
control that, but the current version does not since CSS has changed to allow 
control over tab handling.  See 
http://stackoverflow.com/questions/6754733/tab-width-css-property

Original comment by mikesamuel@gmail.com on 4 Feb 2013 at 10:53