8 spaces for the tab character is too many. I'd prefer 2.
Supported browsers: Firefox, Google Chrome, Opera, and Safari.
| before | after |
|---|---|
jQuery.fn.extend({
show: function( speed, callback ) {
...
}
... |
jQuery.fn.extend({
show: function( speed, callback ) {
...
}
... |
In Firefox you can change default 2 spaces to something else.
In other browsers you have to edit REPLACEMENT variable manually.
| // ==UserScript== | |
| // @name Tab size | |
| // @namespace http://nv.github.com/tab-size.js/ | |
| // @include * | |
| // @description Replace all tab characters with two spaces (or something else) | |
| // @version 1.0 | |
| // ==/UserScript== | |
| var REPLACEMENT = ' '; | |
| if (typeof GM_getValue === 'function') { | |
| REPLACEMENT = GM_getValue('tab_replacement') || REPLACEMENT; | |
| } | |
| var pre_elements = document.body.getElementsByTagName('pre'); | |
| for (var i=0; i<pre_elements.length; i++) { | |
| var no_tabs = pre_elements[i].innerHTML.replace(/\t/g, REPLACEMENT); | |
| if (pre_elements[i].innerHTML != no_tabs) { | |
| pre_elements[i].innerHTML = no_tabs; | |
| } | |
| } | |
| if (typeof GM_registerMenuCommand === 'function') { | |
| GM_registerMenuCommand('Change tab size...', function setTabReplacement(value){ | |
| GM_setValue('tab_replacement', prompt('Replace tabs with', REPLACEMENT)); | |
| }); | |
| } |
Good. Even code blocks in comment boxes are supported.