Editeur de texte et ScrollPane

Bonjour,

J'utilise un éditeur de texte de type JTextArea dans une appli Java Swing.

Je place ce composant dans un scrollpane.

Actuellement, quand je suis sur la dernière ligne visible et que je dois aller à la ligne, le verticalscrollbar se déplace d'une ligne vers le bas.
Ainsi je vois ma nouvelle ligne, mais elle est tout en bas de la partie visible du viewport.
J'aimerai trouver une solution pour avoir un peu plus de mon viewport qui soit visible en dessous de cette dernière ligne, de sorte que je ne sois pas à chaque fois tout en bas de l'écran.

Je ne sais pas si je suis assez clair...
Faites l'essai avec libreoffice writer par exemple: faites "entrée" jusqu'à arriver en bas de la partie visible, vous verrez que la prochaine entrée ne placera pas le curseur tout en bas de l'écran.

Merci de votre lecture... si vous avez une idée, je suis preneur!

Rajouter des lignes vides à la fin et donc insérer du texte avant ces lignes vides.

Salut,

Citation:

Envoyé par Patrice Henrio

Rajouter des lignes vides à la fin et donc insérer du texte avant ces lignes vides.

Oui, enfin, ça ne fonctionne pas vraiment, parce que s'il existe des lignes vides à la fin, on peut déplacer le curseur dedans. Et on peut les supprimer aussi, en ajouter après, etc. Donc il faudrait mettre en place un DocumentFilter pour empêcher de saisir dedans, un CaretListener pour éviter de déplacer le curseur dedans, et d'autres traitement pour que lorsqu'on arrive dans la dernière ligne avant ces lignes vides, le scroll se fasse pour que la dernière ligne soit visible.

En théorie, il faudrait paramétrer le JScrollpane, voire réimplémenter un scrollpane dédié avec une scrollbar et un viewport avec un traitement adéquate, en fonction de la position du curseur dans les texte. C'est assez sioux à mettre au point de manière générique (si on se contente de texte de base non stylé, sans image ni autre composant) ça peut largement se simplifier parce que la taille du viewport est le produit du nombre de lignes par la hauteur d'une ligne).

Une approche plus simple est de jouer sur la taille du viewport, en l'augmentant d'un offset arbitraire, et d'écouter juste le caret juste pour forcer le repositionnement lorsqu'on arrive sur la dernière ligne. Voici un POC rapidement fait (ce n'est pas nickel, pas tout à fait identique à ce que fait Libreoffice, mais c'est un canevas de départ pour montrer l'idée) :

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
public class JEditorPaneDemo {
 
	public static void main(String[] args) {
 
		JFrame frame = new JFrame("Démo");
		frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
 
		JEditorPane editor = new JEditorPane() {
			public java.awt.Dimension getPreferredSize() {
				Dimension size = super.getPreferredSize();
				size.height+=100;
				return size;
			}
		};
 
		editor.setText(createText()); 
 
		JScrollPane scrollpane = new JScrollPane(editor,JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); 
		scrollpane.getViewport().setBackground(editor.getBackground());
 
		frame.add(scrollpane);
 
		editor.addCaretListener(new CaretListener() {
 
			@Override
			public void caretUpdate(CaretEvent event) { 
				try {
					scrollToEnd(scrollpane, editor, event.getDot());
				} catch (BadLocationException e) {
				}
			}
		});
 
		frame.setSize(400, 400);
		frame.setLocationRelativeTo(null);
		frame.setVisible(true);
 
 
	}
 
	protected static int lineCount(JEditorPane editor) {
		int totalCharacters = editor.getText().length(); 
		return lineCount(editor, totalCharacters);
	}
 
	protected static int lineCount(JEditorPane editor, int offset) {
		int totalCharacters = editor.getText().length(); 
		int lineCount = (totalCharacters == 0) ? 1 : 0;
		try {
		   while (offset > 0) {
		      offset = javax.swing.text.Utilities.getRowStart(editor, offset) - 1;
		      lineCount++;
		   }
		} catch (BadLocationException e) {
		}
		return lineCount;
	}
 
	protected static boolean scrollToEnd(JScrollPane scrollpane, JEditorPane editor, int pos) throws BadLocationException {
		int last=lineCount(editor);
		if ( last==0 ) return false;
		int current=lineCount(editor, pos);
		if ( current==last) {
			SwingUtilities.invokeLater(()->
			scrollpane.getVerticalScrollBar().getModel().setValue(scrollpane.getVerticalScrollBar().getModel().getMaximum()));
			return true;
		}
		return false;
	}
 
	private static String createText() {
		StringBuilder sb=new StringBuilder("1 ");
		int n=2;
		for(int i=0;i<300; i++) {
			if ( i>0 && i%ThreadLocalRandom.current().nextInt(3, 7)==0 ) {
				sb.append("\n"+n+" ");
				n++;
			}
			else if ( sb.length()!=0) {
				sb.append(" ");
			}
			sb.append("blah");
		}
		return sb.toString();
	}
 
}

une autre approche est d'essayer de présenter un contenu de viewport spécifique :

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
public class JEditorPaneDemo {
 
	public static void main(String[] args) {
 
		JFrame frame = new JFrame("Démo");
		frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
 
		Box editorPanel = new Box(BoxLayout.PAGE_AXIS);
		JEditorPane editor = new JEditorPane();
		editorPanel.add(editor);
		editorPanel.add(Box.createVerticalStrut(100));
 
		editor.setText(createText()); 
 
		JScrollPane scrollpane = new JScrollPane(editorPanel,JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); 
		scrollpane.getViewport().setBackground(editor.getBackground());
		editor.addCaretListener(new CaretListener() {
 
			@Override
			public void caretUpdate(CaretEvent event) { 
				try {
					if ( !scrollToEnd(scrollpane, editor, event.getDot()) ) {
						scrollToEnd(scrollpane, editor, event.getMark());
					}
				} catch (BadLocationException e) {
				}
			}
		});
		editor.getDocument().addDocumentListener(new DocumentListener() {
 
			@Override
			public void removeUpdate(DocumentEvent e) {
 
			}
 
			@Override
			public void insertUpdate(DocumentEvent e) {
				update();
			}
 
			@Override
			public void changedUpdate(DocumentEvent e) {
				update();
			}
 
			private void update() {
				try {
					scrollToEnd(scrollpane, editor, editor.getCaret().getDot());
				} catch (BadLocationException e) {
				}
			}
		});
 
		frame.add(scrollpane);
 
		frame.setSize(400, 400);
		frame.setLocationRelativeTo(null);
		frame.setVisible(true);
 
 
	}
 
	protected static int lineCount(JEditorPane editor) {
		int totalCharacters = editor.getText().length(); 
		return lineCount(editor, totalCharacters);
	}
 
	protected static int lineCount(JEditorPane editor, int offset) {
		int totalCharacters = editor.getText().length(); 
		int lineCount = (totalCharacters == 0) ? 1 : 0;
		try {
		   while (offset > 0) {
		      offset = javax.swing.text.Utilities.getRowStart(editor, offset) - 1;
		      lineCount++;
		   }
		} catch (BadLocationException e) {
		}
		return lineCount;
	}
 
	protected static boolean scrollToEnd(JScrollPane scrollpane, JEditorPane editor, int pos) throws BadLocationException {
		int last=lineCount(editor);
		if ( last==0 ) return false;
		int current=lineCount(editor, pos);
		if ( current==last) {
			SwingUtilities.invokeLater(()->
			scrollpane.getVerticalScrollBar().getModel().setValue(scrollpane.getVerticalScrollBar().getModel().getMaximum()));
			return true;
		}
		return false;
	}
 
	private static String createText() {
		StringBuilder sb=new StringBuilder("1 ");
		int n=2;
		for(int i=0;i<300; i++) {
			if ( i>0 && i%ThreadLocalRandom.current().nextInt(3, 7)==0 ) {
				sb.append("\n"+n+" ");
				n++;
			}
			else if ( sb.length()!=0) {
				sb.append(" ");
			}
			sb.append("blah");
		}
		return sb.toString();
	}
 
}