HTMLDocument mange les espaces

**Sharcoux** · 28/02/2013, 19h49

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

puis

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

J'obtiens :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

<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.

**Sharcoux** · 28/02/2013, 22h03

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

**Sharcoux** · 28/02/2013, 23h32

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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);
            }
        }
    }

**Sharcoux** · 01/03/2013, 00h18

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

HTMLDocument mange les espaces

Java

Vue hybride

Discussions similaires

Partager

Partager