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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
| import java.awt.Component;
import java.io.IOException;
import java.io.Writer;
import java.util.ArrayList;
import java.util.Enumeration;
import java.util.List;
import javax.swing.JEditorPane;
import javax.swing.JFrame;
import javax.swing.JScrollPane;
import javax.swing.JSplitPane;
import javax.swing.event.CaretEvent;
import javax.swing.event.CaretListener;
import javax.swing.event.DocumentEvent;
import javax.swing.event.DocumentListener;
import javax.swing.text.AbstractDocument.LeafElement;
import javax.swing.text.BadLocationException;
import javax.swing.text.Caret;
import javax.swing.text.DefaultCaret;
import javax.swing.text.Element;
import javax.swing.text.JTextComponent;
import javax.swing.text.html.HTML;
import javax.swing.text.html.HTMLDocument;
import javax.swing.text.html.HTMLWriter;
public class HtmlEditorWithSource {
public static void main(String[] args) {
final String html = "<html><body><p>Ceci est un <i>exemple</i> de html</p><p>Ceci est un <b><i>exemple</i> de html</b></p></body></html>";
JFrame frame = new JFrame("Démo");
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
frame.getContentPane().add(createEditor(html));
frame.setSize(600, 400);
frame.setLocationRelativeTo(null);
frame.setVisible(true);
}
private static Component createEditor(String html) {
JSplitPane panel = new JSplitPane();
final JEditorPane htmlEditor = new JEditorPane();
htmlEditor.setContentType("text/html");
htmlEditor.setText(html);
htmlEditor.setCaret(new SelectionCaret(htmlEditor.getCaret()));
JScrollPane htmlEditorPane=new JScrollPane(htmlEditor, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
panel.setLeftComponent(htmlEditorPane);
final JEditorPane sourceEditor = new JEditorPane();
sourceEditor.setContentType("text/plain");
sourceEditor.setText(htmlEditor.getText());
sourceEditor.setCaret(new SelectionCaret(sourceEditor.getCaret()));
JScrollPane sourceEditorPane=new JScrollPane(sourceEditor, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
panel.setRightComponent(sourceEditorPane);
panel.setResizeWeight(0.5);
htmlEditor.getDocument().addDocumentListener(new DocumentListener() {
@Override
public void removeUpdate(DocumentEvent e) {
update();
}
@Override
public void insertUpdate(DocumentEvent e) {
update();
}
@Override
public void changedUpdate(DocumentEvent e) {
update();
}
private void update() {
sourceEditor.setText(htmlEditor.getText());
}
});
htmlEditor.addCaretListener(new CaretListener() {
@Override
public void caretUpdate(CaretEvent e) {
int start = e.getDot();
int end = e.getMark();
if ( end<start ) {
int swap=end;
end=start;
start=swap;
}
Element rootElement = htmlEditor.getDocument().getDefaultRootElement();
List<LeafElement> startElements = getLeaves(rootElement,start);
List<LeafElement> endElements = getLeaves(rootElement,end);
LeafElement startElement = getStartElement(start, end, startElements);
LeafElement endElement = getEndElement(start, end, endElements);
CounterHtmlWriter startwriter = new CounterHtmlWriter((HTMLDocument)htmlEditor.getDocument(), startElement, true);
int startPosition=0;
try {
startwriter.write();
startPosition=startwriter.getOffset();
} catch (IOException | BadLocationException e1) {
e1.printStackTrace();
}
CounterHtmlWriter endwriter = new CounterHtmlWriter((HTMLDocument)htmlEditor.getDocument(), endElement, false);
int endPosition=0;
try {
endwriter.write();
endPosition=endwriter.getOffset();
} catch (IOException | BadLocationException e1) {
e1.printStackTrace();
}
sourceEditor.select(startPosition+start-startElement.getStartOffset(),endPosition-(endElement.getEndOffset()-end));
}
private LeafElement getStartElement(int start, int end,
List<LeafElement> elements) {
return getElement(start, end, elements, false);
}
private LeafElement getElement(int start, int end,
List<LeafElement> elements, boolean getEnd) {
if ( elements.size()>1 ) {
if ( start!=end ) {
LeafElement last = elements.get(elements.size()-1);
Element parent = last.getParentElement();
if ( !getEnd || last.getEndOffset()==parent.getEndOffset() && last.getStartOffset()==parent.getStartOffset() ) {
return last;
}
return elements.get(0);
}
Element parent = elements.get(0).getParentElement();
if ( parent.getStartOffset()==start || parent.getEndOffset()==end) {
return elements.get(elements.size()-1);
}
else {
for(LeafElement leafElement : elements) {
if ( isTag(leafElement) ) {
return leafElement;
}
}
}
}
return elements.get(0);
}
private boolean isTag(LeafElement leafElement) {
Enumeration<?> attributeNames = leafElement.getAttributeNames();
for(;attributeNames.hasMoreElements();) {
if ( attributeNames.nextElement() instanceof HTML.Tag ) {
return true;
}
}
return false;
}
private LeafElement getEndElement(int start, int end,
List<LeafElement> elements) {
return getElement(start, end, elements, true);
}
private List<LeafElement> getLeaves(Element element, int offset) {
List<LeafElement> leaves = new ArrayList<>();
getLeaves(element, offset, leaves);
return leaves;
}
private void getLeaves(Element element, int offset, List<LeafElement> leaves) {
if ( element.getStartOffset()<=offset && offset<=element.getEndOffset() ) {
if ( element.isLeaf() ) {
leaves.add((LeafElement) element);
}
for( int i=0; i<element.getElementCount(); i++) {
getLeaves(element.getElement(i), offset, leaves);
}
}
}
});
sourceEditor.setEditable(false);
return panel;
}
private static class CounterHtmlWriter extends HTMLWriter {
private LeafElement leaf;
private int offset;
private int tagoffset;
private final CounterWriter counterWriter;
private final boolean start;
public CounterHtmlWriter(HTMLDocument doc, LeafElement element, boolean start) {
super(new CounterWriter(), doc);
counterWriter=(CounterWriter) getWriter();
this.leaf=element;
this.start=start;
}
@Override
protected void startTag(Element elem) throws IOException,
BadLocationException {
if (start && leaf==elem) tagoffset=counterWriter.count;
super.startTag(elem);
}
@Override
protected void endTag(Element elem) throws IOException {
super.endTag(elem);
if (!start && leaf==elem) tagoffset=counterWriter.count;
}
@Override
protected void emptyTag(Element elem) throws BadLocationException,
IOException {
if (start && leaf==elem) tagoffset=counterWriter.count;
super.emptyTag(elem);
if (!start && leaf==elem) tagoffset=counterWriter.count;
}
@Override
protected void text(Element elem) throws BadLocationException,
IOException {
if (start && leaf==elem) offset=counterWriter.count;
super.text(elem);
if (!start && leaf==elem) offset=counterWriter.count;
}
public int getOffset() {
return offset;
}
public int getTagOffset() {
return tagoffset;
}
private static class CounterWriter extends Writer {
public int count;
@Override
public void write(char[] cbuf, int off, int len) throws IOException {
count+=len;
}
@Override
public void flush() throws IOException {
}
@Override
public void close() throws IOException {
}
}
}
private static class SelectionCaret extends DefaultCaret {
public SelectionCaret(Caret caret) {
setBlinkRate(caret.getBlinkRate());
}
@Override
public void setVisible(boolean visible) {
super.setVisible(true);
}
@Override
public void setSelectionVisible(boolean visible) {
super.setSelectionVisible(true);
}
@Override
public void install(JTextComponent c) {
super.install(c);
super.setVisible(true);
super.setSelectionVisible(true);
}
}
} |
Comment faire la correspondance entre le code source et le WYSIWYG ?
Répondre avec citation
Envoyé par joel.drigo
Je me demandais : Est-ce que la correspondance est faisable avec un
Partager