HTMLDocument mange les espaces

Version imprimable

28/02/2013, 19h49
Sharcoux

HTMLDocument mange les espaces

Bonjour,

J'ai un JTextPane qui accueille un HTMLDocuement et je suis confronté à un problème avec les espaces :

Lorsque j'écris le code suivant :

Code:

editorKit.read(new StringReader("<html><head></head><body> test test plein d'espaces hi hi </body></html>"), htmlDoc, 0);

puis

Code:

editorKit.write(s, sdoc, 0, sdoc.getLength())

J'obtiens :

Code:

<html><head></head><body>test test plein d'espaces hi hi </body></html>

Alors, au nom de quoi est-ce que ce %$# de HTMLDocument me mange tous mes espaces ?!

bref, est-ce que vous savez s'il y a un moyen, ou un paramètre à modifier pour éviter le phénomène ?

Merci pour votre temps et votre aide.
28/02/2013, 22h03
Sharcoux

Bon, en fait, il semble que je doive remplacer les espaces par  

Comment je peux faire pour que tout espace qui entre dans mon HTMLDocument soit automatiquement transformé en   ?

Attention, il faut que ça marche pour la saisie directe, mais aussi pour les copier/coller...

Merci pour votre aide

Alors,

J'ai fait un filtre qui étend DocumentFilter. Jusque là, pas de problème, sauf que j'arrive pas à lui faire interpréter   comme du HTLM correctement.

J'ai tenté d'insérer les   avec HTMLEditorKit.insertHTML() mais il me met le bazar et finit généralment par me mettre des retour à la ligne partout.

Voici mon Document Filter :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
    protected class Filtre extends DocumentFilter implements Serializable {
 
        public Filtre() {
        }
 
        @Override
        public void insertString(DocumentFilter.FilterBypass fb, int offset, String str, AttributeSet attr) throws BadLocationException {
            replace(fb, offset, 0, str, attr);
        }
 
        @Override
        public void replace(DocumentFilter.FilterBypass fb, int offset, int length, String str, AttributeSet attrs) throws BadLocationException {
 
            fb.remove(offset, length);
            int offsetMemory = offset;
            String[] T = s.split(" ",-1);
            fb.insertString(offset, T[0], attrs);
            for(int i=1; i<T.length; i++) {
                offsetMemory += T[i - 1].length();
                try {
                    editorKit.insertHTML(sdoc, offsetMemory, "&nbsp;", 0, 0, null);
                } catch (IOException ex) {
                    Logger.getLogger(JMathTextPane.class.getName()).log(Level.SEVERE, null, ex);
                }
                fb.insertString(offsetMemory, T[i], attrs);
            }
        }
    }

En fait, rien d'aussi compliqué : il suffisait d'utiliser l'unicode pour " " :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
protected class Filtre extends DocumentFilter implements Serializable {
 
    public Filtre() {
    }
 
    @Override
    public void insertString(DocumentFilter.FilterBypass fb, int offset, String str, AttributeSet attr) throws BadLocationException {
        replace(fb, offset, 0, str, attr);
    }
 
    @Override
    public void replace(DocumentFilter.FilterBypass fb, int offset, int length, String str, AttributeSet attrs) throws BadLocationException {
        String result = str.replaceAll(" ", "\u00A0");
        fb.replace(offset, length, result, attrs);
    }

En espérant que ça puisse servir à d'autres