JTextArea : Ecrire que sur la dernière ligne et bloquer le reste

Version imprimable

11/02/2014, 15h13
JulianMarley

JTextArea : Ecrire que sur la dernière ligne et bloquer le reste

Bonjour à tous :D,

J'ai un JtextArea qui me sert en quelque sorte de terminal et j'aimerais donc pouvoir écrire sur la dernière ligne mais que tout le reste, soit les lignes superieures restent intactes et qu'on ne puisse pas les modifier.
Un setEditable(false); est trop "fort" car il bloque tout !

Avez vous une solution ?

Merci d'avance,

Julian :mrgreen:
11/02/2014, 15h18
Invité

Couper la poire en deux.
Faire une zone pour les entrées et une zone pour les sorties.
11/02/2014, 15h21
JulianMarley

Citation:

Envoyé par chanyslas

Couper la poire en deux.
Faire une zone pour les entrées et une zone pour les sorties.

Merci de ta réponse !

J'y ai pensé mais niveau esthétique c'est pas encore ça ! Surtout que j'utilise un GribBagLayout et j'ai du mal à voir comment intégrer ça sans changer l'affichage. Mais j'y réfléchie en même temps. :P

Julian

Salut,

Utilises un DocumentFilter pour faire ça.

Exemple :

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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
public class DemoTextArea extends JTextArea {     private final LastLineDocumentFilter documentFilter;
    public DemoTextArea() {
        documentFilter = new LastLineDocumentFilter();
        addPropertyChangeListener(new PropertyChangeListener() {
 
            @Override
            public void propertyChange(PropertyChangeEvent evt) {
                if ( "document".equals(evt.getPropertyName()) ) {
                    resetDocumentFilter((Document) evt.getOldValue());
                    setDocumentFilter((Document) evt.getNewValue());
                }
 
            }
        });
        setDocumentFilter(getDocument());
    }
 
    private void resetDocumentFilter(Document document) {
        if ( document instanceof AbstractDocument ) {
            ((AbstractDocument)document).setDocumentFilter(null);
        }
    }
    private void setDocumentFilter(Document document) {
        if ( document instanceof AbstractDocument ) {
            ((AbstractDocument)document).setDocumentFilter(documentFilter);
        }
    }
 
 
    private class LastLineDocumentFilter extends DocumentFilter {
        @Override
        public void insertString(FilterBypass fb, int offset, String string,
                AttributeSet attr) throws BadLocationException { 
           if(string == null) {   
              return;
           } else{
             replace(fb, offset, 0, string, attr); // simule un ajout par un replace (pour éviter duplication de code)
           }
        }
 
        @Override
        public void remove(FilterBypass fb, int offset, int length)
                throws BadLocationException {
            replace(fb, offset, length, "", null); // simule un effacement par un replace (pour éviter duplication de code)
        }
 
 
        @Override
        public void replace(FilterBypass fb, int offset, int length,
                String text, AttributeSet attrs) throws BadLocationException {
            // méthode basique basée sur l'analyse du texte
            String textInArea = getText(); // le text actuellement saisi
            boolean canEdit=true; // saisie permise par défaut
            for( int i=textInArea.length()-1; canEdit && i>=0; i--) {
                // dés qu'on a un passage à la ligne et que la saisie en cours est avant, où sur, la position de ce passage à la ligne
                // on interdit la saisie
                if ( textInArea.charAt(i)=='\n' && offset<=i ) {
                    canEdit=false;
                }
            }
            // on applique la modification si permis
            if( canEdit ) {
                fb.replace(offset, length, text, attrs);
            }
 
            /* autre méthode basée sur l'analyse des éléments (peut être amenée à être adaptée pour du html)
            Document doc = fb.getDocument();
            Element root = doc.getDefaultRootElement();
            int count = root.getElementCount();
            int index = root.getElementIndex(offset);
            if(index==count-1) {
               fb.replace(offset, length, text, attrs);
            }*/
 
        }
 
    }
    public static void main(String[] args) {
        JFrame frame = new JFrame();
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
 
        DemoTextArea textpane = new DemoTextArea();
 
        frame.getContentPane().add(new JScrollPane(textpane));
 
 
        frame.setSize(300,300);
        frame.setLocationRelativeTo(null);
        frame.setVisible(true);
    }
 
}

12/02/2014, 11h09
JulianMarley

@joel.drigo
Merci de ta réponse je suis bluffé !! Ca fonctionne parfaitement et tu m'as fais découvrir un peu plus les documents ! Je vais m'y pencher un peu plus ça à l'aire intéressant :)

Merci beacoup ! :mrgreen:

Julian :D

Si ça t'intéresse, voici le moyen d'ajouter un prompt pour chaque ligne, ou une numérotation des lignes. Combiner avec tu stylage, tu pourras mettre des couleurs différentes pour le prompt et le texte saisi également.

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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
public class DemoTextArea extends JTextArea {
 
    private static final String PROMPT = "> ";
    private final LastLineDocumentFilter documentFilter;
    public DemoTextArea() {
        documentFilter = new LastLineDocumentFilter();
        addPropertyChangeListener(new PropertyChangeListener() {
 
            @Override
            public void propertyChange(PropertyChangeEvent evt) {
                if ( "document".equals(evt.getPropertyName()) ) {
                    resetDocumentFilter((Document) evt.getOldValue());
                    setDocumentFilter((Document) evt.getNewValue());
                }
 
            }
        });
        setDocumentFilter(getDocument());
    }
 
    private void resetDocumentFilter(Document document) {
        if ( document instanceof AbstractDocument ) {
            ((AbstractDocument)document).setDocumentFilter(null);
        }
    }
    private void setDocumentFilter(Document document) {
        if ( document instanceof AbstractDocument ) {
            String prompt=getPrompt();
            try {
                ((AbstractDocument) document).replace(0, document.getLength(), prompt, null);
            } catch (BadLocationException e) {
                e.printStackTrace();
            }
            ((AbstractDocument)document).setDocumentFilter(documentFilter);
            setCaretPosition(prompt.length());
        }
    }
 
 
    private class LastLineDocumentFilter extends DocumentFilter {
 
 
        @Override
        public void insertString(FilterBypass fb, int offset, String string,
                AttributeSet attr) throws BadLocationException { 
            if(string == null) {
                    return;
            } else{
                  replace(fb, offset, 0, string, attr);
            }
        }
 
        @Override
        public void remove(FilterBypass fb, int offset, int length)
                throws BadLocationException {
            replace(fb, offset, length, "", null);
        }
 
 
        @Override
        public void replace(FilterBypass fb, int offset, int length,
                String text, AttributeSet attrs) throws BadLocationException {
 
            Document doc = fb.getDocument();
            Element root = doc.getDefaultRootElement();
            int count = root.getElementCount();
            int index = root.getElementIndex(offset);
            Element current = root.getElement(index);
            String prompt = getPrompt();
            if(index==count-1 && (offset-current.getStartOffset()-prompt.length())>=0) {
              if(text.equals("\n")) {
                  text = "\n" + prompt;
              }
              fb.replace(offset, length, text, attrs);
            }
 
        }
 
    }
 
    private String getPrompt() {
        return PROMPT;
        // pour numéroter les lignes 
        /*String text=getText();
        int linecount=1;
        if ( text.length()>0 ) {
            linecount++;
            int index=text.indexOf('\n');
            while(index>=0) {
                linecount++;
                index=text.indexOf('\n',index+1);
            }
        }
        return linecount + " : ";*/
    }
 
    public static void main(String[] args) {
        JFrame frame = new JFrame();
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
 
        DemoTextArea textpane = new DemoTextArea();
 
        frame.getContentPane().add(new JScrollPane(textpane));
 
 
        frame.setSize(300,300);
        frame.setLocationRelativeTo(null);
        frame.setVisible(true);
    }
 
 
}