Tab size #73

Sjeiti opened this Issue Jul 3, 2012 · 1 comment


None yet

3 participants


Since most browsers do eight spaces for tab inside pre, and untill all browsers support CSS tab-width, it would be nice to have something like /^\t?/g in language/generic.js for tab size control.



Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment