Tab e tag <pre>

[abcd1000]

Quando utilizzo il tag <pre> su un testo dove ci sono i caratteri di tab, ogni tab viene considerato di 8 caratteri. Come faccio a diminuire il numero di caratteri per tab?

<pre style="font-family:arial; font-size:12px;">
JFrame f; <--qui c'è un tab che viene visualizzato con 8 ch, troppi!!!
<pre>

ci vorrebbe una proprietà del tipo

<pre style="tab-size:4px">

[webus]

Credo che le proprietà di tab vengano stabilite a livello di organismi di standardizzazione come ISO etc. (ASCII, Unicode...)
In altre parole: fuori dal controllo di un foglio stile.

[abcd1000]

nessuna soluzione quindi?

[nuky]

Il tab è un carattere che viene interpretato in maniera diversa da programma a programma.
Se hai un file di testo con dei tab e lo apri con diversi editor, puoi avere un numero di spazi differente, a seconda delle impostazioni del programma.
Ho provato a vedere questo con IE e mi mette un tab a 3(!) spazi.

<pre style="font-family:'courier new'; font-size:12px;"> 
aaaaaa12345678
JFrame	f;
<pre>

Non so dove IE se lo scriva da qualche parte o se utilizzi una qualche impostazione di default del sistema (non credo perché 3 è proprio un valore particolare).
In ogni caso da codice non puoi controllarlo, è il client che decide come visualizzarlo.

[abcd1000]

ok, esiste mica un programma che dandogli in input un file di testo mi converta i tab presenti nel file in spazi?

Esempio, se il file è fatto così

TABTABTABprova

Diventa

(3spazi)Prova

[nuky]

Un qualsiasi editor di testo un attimino più cazzuto di notepad ti permette di fare una replace simile (magari anche il notepad, ma nun zo, non ce l'ho ).
Dalla form di sostituzione di word puoi dire di cambiare il carattere ^t con quanti spazi vuoi.