?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Initial commit of newLISP.
[newlisp.git] / guiserver / java / TextPaneWidget.java
blob05e088df2d451769840930da9f26302e203e3878
1 //
2 // TextPaneWidget.java
3 // guiserver
4 //
5 // Created by Lutz Mueller on 6/11/07.
6 //
7 //
8 // Copyright (C) 2007 Lutz Mueller
9 //
10 // This program is free software: you can redistribute it and/or modify
11 // it under the terms of the GNU General Public License as published by
12 // the Free Software Foundation, either version 3 of the License, or
13 // (at your option) any later version.
14 //
15 // This program is distributed in the hope that it will be useful,
16 // but WITHOUT ANY WARRANTY; without even the implied warranty of
17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 // GNU General Public License for more details.
19 //
20 // You should have received a copy of the GNU General Public License
21 // along with this program. If not, see <http://www.gnu.org/licenses/>.
22 //
23
24
25 import java.awt.*;
26 import java.awt.event.*;
27 import java.util.*;
28 import java.io.File;
29 import java.io.FileReader;
30 import java.io.FileWriter;
31
32 import javax.swing.*;
33 import javax.swing.text.*;
34 import javax.swing.text.html.*;
35 import javax.swing.event.*;
36 import javax.swing.undo.*;
37
38 @SuppressWarnings("unchecked")
39 public class TextPaneWidget extends aTextWidget {
40
41 JTextPane textPane;
42 String contentType = null;
43
44 CaretListener caretListener;
45 CaretEvent lastCaretEvent = null;
46 int lastCharCode = 65535;
47 int lastModifiers = 0;
48 int documentLength = 0;
49 String undoState = "nil";
50 String redoState = "nil";
51
52 Color foreground = new Color(0,0,0);
53 StyledDocument styledDoc;
54 Vector shTopLevels;
55 TextPaneWidget widget;
56
57 static final int SYNTAX_NONE = 0;
58 static final int SYNTAX_NEWLISP = 1;
59 static final int SYNTAX_C = 2;
60 static final int SYNTAX_CPP = 3;
61 static final int SYNTAX_JAVA = 4;
62 static final int SYNTAX_PHP = 5;
63
64 int syntaxSelected = SYNTAX_NONE;
65
66 //undo helpers
67 protected UndoAction undoAction;
68 protected RedoAction redoAction;
69 protected UndoManager undo = new UndoManager();
70 MyUndoableEditListener undoableEditListener;
71 boolean undoEnabled = true;
72
73 public TextPaneWidget(StringTokenizer params)
74 {
75 id = params.nextToken();
76 action = params.nextToken();
77
78 textPane = new JTextPane();
79 textPane.setDoubleBuffered(true);
80
81 Caret caret = new MyCaret();
82 caret.setBlinkRate(500);
83
84 textPane.setCaret(caret);
85
86 if(params.hasMoreTokens())
87 contentType = params.nextToken();
88 if(!contentType.equals("text/html") && !contentType.equals("text/rtf"))
89 contentType = "text/plain";
90 textPane.setContentType(contentType);
91
92 areaScrollPane = new JScrollPane(textPane);
93 areaScrollPane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
94
95 container = areaScrollPane;
96 jcomponent = textPane;
97 component = areaScrollPane;
98 textcomp = textPane;
99 isScrollable = true;
100
101 widget = this;
102
103 shTopLevels = new Vector();
104
105 if(params.hasMoreTokens())
106 areaScrollPane.setPreferredSize(
107 new Dimension (Integer.parseInt(params.nextToken()),Integer.parseInt(params.nextToken())));
108
109 gsObject.widgets.put(id, this);
110
111 styledDoc = textPane.getStyledDocument();
112 AbstractDocument doc = (AbstractDocument)styledDoc;
113 //doc.setDocumentFilter(new MyDocumentFilter(1000000));
114
115 KeyListener keyListener = new KeyAdapter() {
116 public void keyPressed(KeyEvent e)
117 {
118 Character chr = new Character(e.getKeyChar());
119 int code = e.getKeyCode();
120 lastCharCode = chr.hashCode();
121 int lastPos, caretPos, size, len;
122
123 lastModifiers = e.getModifiersEx();
124
125 if(syntaxSelected != SYNTAX_NONE) colorSyntax();
126
127 switch(lastCharCode)
128 {
129 case 40:
130 highlightClosingPar('(', ')');
131 break;
132 case 41:
133 highlightOpeningPar('(', ')');
134 break;
135 case 123:
136 highlightClosingPar('{', '}');
137 break;
138 case 125:
139 highlightOpeningPar('{', '}');
140 break;
141 case 91:
142 highlightClosingPar('[', ']');
143 break;
144 case 93:
145 highlightOpeningPar('[', ']');
146 break;
147
148 }
149 }
150 };
151
152 caretListener = new CaretListener() {
153 public void caretUpdate(CaretEvent ce)
154 {
155 int mark, dot;
156
157 if(ce == null) return;
158
159 mark = ce.getMark();
160 dot = ce.getDot();
161
162 lastCaretEvent = ce;
163
164 undoAction.updateUndoState();
165 redoAction.updateRedoState();
166
167 if(undoAction.isEnabled()) undoState = "true";
168 else undoState = "nil";
169
170 if(redoAction.isEnabled()) redoState = "true";
171 else redoState = "nil";
172
173 guiserver.out.println("(" + action + " \"" + id + "\" " + lastCharCode + " " +
174 lastModifiers + " " + dot + " " + mark + " " + documentLength + " " +
175 undoState + " " + redoState + ")");
176 guiserver.out.flush();
177 lastCharCode = 65535;
178 }
179 };
180
181 undoAction = new UndoAction();
182 redoAction = new RedoAction();
183
184 undoableEditListener = new MyUndoableEditListener();
185
186 styledDoc.addUndoableEditListener(undoableEditListener);
187 styledDoc.addDocumentListener(new MyDocumentListener());
188
189 // set ctrl-Z and meta-Z undo/redo keys
190 InputMap inputMap = textPane.getInputMap();
191 KeyStroke key;
192
193 if(guiserver.MAC_OS_X)
194 key = KeyStroke.getKeyStroke(KeyEvent.VK_Z, Event.META_MASK);
195 else
196 key = KeyStroke.getKeyStroke(KeyEvent.VK_Z, Event.CTRL_MASK);
197 inputMap.put(key, undoAction);
198
199 if(guiserver.MAC_OS_X)
200 key = KeyStroke.getKeyStroke(KeyEvent.VK_Z, Event.META_MASK | Event.SHIFT_MASK);
201 else
202 key = KeyStroke.getKeyStroke(KeyEvent.VK_Z, Event.CTRL_MASK | Event.SHIFT_MASK);
203 inputMap.put(key, redoAction);
204
205 textPane.addHyperlinkListener(new Hyperactive());
206 textPane.addKeyListener(keyListener);
207 textPane.addCaretListener(caretListener);
208 }
209
210 public void highlightOpeningPar(char opng, char clsng)
211 {
212 int balance = -1;
213 String text = textPane.getText();
214 int currentPos = textPane.getCaretPosition();
215 int caretPos = 0;
216 int len = text.length();
217
218 caretPos = currentPos - 1; // new
219 // go back looking for matching parenthesis
220 while(balance != 0 && caretPos >= 0)
221 {
222 if(text.charAt(caretPos) == opng) ++balance;
223 else if(text.charAt(caretPos) == clsng) --balance;
224 --caretPos;
225 }
226
227 ++caretPos;
228
229 if(balance == 0) highlightPosition(caretPos, currentPos);
230 }
231
232 public void highlightClosingPar(char opng, char clsng)
233 {
234 int balance = 1;
235 String text = textPane.getText();
236 int currentPos = textPane.getCaretPosition();
237 int caretPos = 0;
238 int len = text.length();
239
240 if(len == 0) return;
241
242 caretPos = currentPos;
243
244 // go forward to matching parentheseis
245 while(balance != 0 && caretPos < len)
246 {
247 if(text.charAt(caretPos) == opng) ++balance;
248 else if(text.charAt(caretPos) == clsng) --balance;
249 ++caretPos;
250 }
251
252 if(balance == 0) highlightPosition(caretPos, currentPos);
253 }
254
255 public void highlightPosition(int pos, int oldPos)
256 {
257 textPane.setCaretPosition(pos);
258 textPane.getCaret().paint(textPane.getGraphics());
259 textPane.repaint();
260 try {Thread.sleep(400); } catch (InterruptedException ie) {}
261 textPane.setCaretPosition(oldPos);
262 textPane.getCaret().paint(textPane.getGraphics());
263 }
264
265
266 public void loadText(StringTokenizer tokens)
267 {
268 String path = Base64Coder.decodeString(tokens.nextToken());
269
270 EditorKit kit = textPane.getEditorKit();
271
272 System.setProperty("line.separator", "\n");
273
274 try {
275 if(guiserver.UTF8)
276 kit.read(new FilterFileReader(path, "UTF8"), styledDoc, 0);
277 else
278 kit.read(new FilterFileReader(path), styledDoc, 0);
279 }
280 catch(Exception ex) { ErrorDialog.show("gs:load-text", "Cannot load or decode file: " + path); }
281 }
282
283
284 public void saveText(StringTokenizer tokens)
285 {
286 String path = Base64Coder.decodeString(tokens.nextToken());
287
288 EditorKit kit = textPane.getEditorKit();
289
290 try { kit.write(new FileWriter(path), styledDoc, 0, styledDoc.getLength()); }
291 catch(Exception ex) { ErrorDialog.show("gs:save-text", "Cannot save file: " + path); }
292 }
293
294
295 public void findText(StringTokenizer tokens)
296 {
297 String findtext = Base64Coder.decodeString(tokens.nextToken());
298 String direction = "next";
299 boolean isRegex = false;
300 int dot;
301
302 String findTextAction = tokens.nextToken();
303
304 if(tokens.hasMoreTokens())
305 direction = tokens.nextToken();
306
307 if(tokens.hasMoreTokens())
308 isRegex = tokens.nextToken().equals("true");
309
310 String text = textPane.getText();
311
312 int currentCaret = textPane.getCaretPosition();
313
314 if(direction.equals("previous"))
315 {
316 //++currentCaret;
317 if(currentCaret > findtext.length() + 1)
318 currentCaret -= findtext.length() + 1;
319 dot = text.lastIndexOf(findtext, currentCaret);
320 }
321 else
322 dot = text.indexOf(findtext, currentCaret);
323
324 guiserver.out.println("(" + findTextAction + " \"" + id + "\" " + dot + ")");
325 guiserver.out.flush();
326
327 if(dot < 0)
328 {
329 textPane.setCaretPosition(currentCaret);
330 return;
331 }
332
333 textPane.setCaretPosition(dot);
334 textPane.moveCaretPosition(dot + findtext.length());
335 }
336
337 public void setTabSize(StringTokenizer tokens)
338 {
339 int tabSize = Integer.parseInt(tokens.nextToken());
340
341 TabSet tabSet = new TabSet(new TabStop[] {
342 new TabStop(tabSize), new TabStop(2 * tabSize), new TabStop(3 * tabSize),
343 new TabStop(4 * tabSize), new TabStop(5 * tabSize), new TabStop(6 * tabSize),
344 new TabStop(7 * tabSize), new TabStop(8 * tabSize), new TabStop(9 * tabSize) });
345
346 SimpleAttributeSet attributes = new SimpleAttributeSet();
347 StyleConstants.setTabSet(attributes, tabSet);
348 styledDoc.setParagraphAttributes(0, documentLength, attributes, false);
349 }
350
351 public void setSyntax(StringTokenizer tokens)
352 {
353 String tkn = tokens.nextToken();
354
355 if(tkn.equals("true") || tkn.equals("lsp"))
356 syntaxSelected = SYNTAX_NEWLISP;
357 else if(tkn.equals("c"))
358 syntaxSelected = SYNTAX_C;
359 else if(tkn.equals("cpp"))
360 syntaxSelected = SYNTAX_CPP;
361 else if(tkn.equals("java"))
362 syntaxSelected = SYNTAX_JAVA;
363 else if(tkn.equals("php"))
364 syntaxSelected = SYNTAX_PHP;
365 else syntaxSelected = SYNTAX_NONE;
366
367 //textPane.setCursor(new Cursor(Cursor.WAIT_CURSOR));
368 if(syntaxSelected == SYNTAX_NONE)
369 {
370 SimpleAttributeSet normal = new SimpleAttributeSet();
371 StyleConstants.setForeground(normal, widget.foreground);
372 styledDoc.setCharacterAttributes(0, documentLength, normal, true);
373 }
374 else
375 {
376 shTopLevels.removeAllElements();
377 if(syntaxSelected == SYNTAX_NEWLISP)
378 SyntaxHighlighter.color(widget, 0, documentLength);
379 else
380 {
381 SyntaxHighlighterC.setFlavor(syntaxSelected);
382 SyntaxHighlighterC.color(widget, 0, documentLength);
383 }
384 }
385 //textPane.setCursor(new Cursor(Cursor.DEFAULT_CURSOR));
386
387 undo.discardAllEdits();
388 }
389
390 public void setForeground(StringTokenizer tokens)
391 {
392 Float red = Float.parseFloat(tokens.nextToken());
393 Float green = Float.parseFloat(tokens.nextToken());
394 Float blue = Float.parseFloat(tokens.nextToken());
395 if(tokens.hasMoreTokens())
396 {
397 Float alpha = Float.parseFloat(tokens.nextToken());
398 textPane.setForeground(new Color(red, green, blue, alpha));
399 }
400 else
401 textPane.setForeground(new Color(red, green, blue));
402
403 widget.foreground = textPane.getForeground();
404 }
405
406 class Hyperactive implements HyperlinkListener {
407 public void hyperlinkUpdate(HyperlinkEvent e) {
408 if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
409 JEditorPane pane = (JEditorPane) e.getSource();
410 if (e instanceof HTMLFrameHyperlinkEvent) {
411 HTMLFrameHyperlinkEvent evt = (HTMLFrameHyperlinkEvent)e;
412 HTMLDocument doc = (HTMLDocument)pane.getDocument();
413 doc.processHTMLFrameHyperlinkEvent(evt);
414 } else {
415 try {
416 pane.setPage(e.getURL());
417 } catch (Throwable t) {
418 textPane.setText("The page could not be displayed.");
419 }
420 }
421 }
422 }
423 }
424
425 // undo and redo
426
427 public void undoEnable(StringTokenizer tokens)
428 {
429 undoEnabled = tokens.nextToken().equals("true");
430 }
431
432 public void undoText(StringTokenizer tokens)
433 {
434 undoAction.actionPerformed(new ActionEvent(textPane, Event.ACTION_EVENT, "Undo"));
435 //undo.undo();
436 }
437
438 public void redoText(StringTokenizer tokens)
439 {
440 redoAction.actionPerformed(new ActionEvent(textPane, Event.ACTION_EVENT, "Redo"));
441 }
442
443 public void colorSyntax()
444 {
445 int caretPos = textPane.getCaretPosition();
446 int pos = 0;
447 int size = shTopLevels.size();
448 int p, len;
449
450 for(int idx = size - 1; idx >= 0; idx--)
451 {
452 pos = (Integer)shTopLevels.elementAt(idx);
453 if(caretPos > pos)
454 {
455 for(int i = idx; i < size; i++)
456 {
457 p = (Integer)shTopLevels.elementAt(idx);
458 shTopLevels.removeElementAt(idx);
459 }
460 break;
461 }
462 }
463
464 if(documentLength > caretPos + 1024)
465 len = caretPos + 1024;
466 else
467 len = documentLength;
468
469 if(syntaxSelected == SYNTAX_NEWLISP)
470 SyntaxHighlighter.color(widget, pos, len);
471 else
472 SyntaxHighlighterC.color(widget, pos, len);
473 }
474
475 //This one listens for edits that can be undone.
476 protected class MyUndoableEditListener implements UndoableEditListener
477 {
478 public void undoableEditHappened(UndoableEditEvent e)
479 {
480 //Remember the edit and update the menus.
481 if(SyntaxHighlighter.active || undoEnabled != true) return;
482 undo.addEdit(e.getEdit());
483 //System.out.println("=>" + undo.getUndoPresentationName());
484 undoAction.updateUndoState();
485 redoAction.updateRedoState();
486 }
487 }
488
489 // Listens for any changes to the document.
490 protected class MyDocumentListener implements DocumentListener
491 {
492 public void insertUpdate(DocumentEvent e) { updateParams(e);}
493 public void removeUpdate(DocumentEvent e) { updateParams(e);}
494 public void changedUpdate(DocumentEvent e) { updateParams(e);}
495
496 private void updateParams(DocumentEvent e)
497 {
498 Document document = (Document)e.getDocument();
499 documentLength = document.getLength();
500 }
501 }
502
503 class UndoAction extends AbstractAction
504 {
505 public UndoAction() {
506 super("Undo");
507 setEnabled(false);
508 }
509
510 public void actionPerformed(ActionEvent e)
511 {
512 String pname = undo.getUndoPresentationName();
513 try { undo.undo(); } catch (Exception ex)
514 {
515 Toolkit.getDefaultToolkit().beep();
516 }
517
518 String qname = undo.getUndoPresentationName();
519 if(pname.equals("Undo addition") && qname.equals("Undo deletion"))
520 {
521 try { undo.undo(); } catch (Exception ex)
522 {
523 Toolkit.getDefaultToolkit().beep();
524 }
525 }
526
527 updateUndoState();
528 redoAction.updateRedoState();
529 caretListener.caretUpdate(lastCaretEvent);
530 }
531
532 protected void updateUndoState() {
533 if (undo.canUndo()) {
534 setEnabled(true);
535 putValue(Action.NAME, undo.getUndoPresentationName());
536 }
537 else {
538 setEnabled(false);
539 putValue(Action.NAME, "Undo");
540 }
541 }
542 }
543
544 class RedoAction extends AbstractAction
545 {
546 public RedoAction() {
547 super("Redo");
548 setEnabled(false);
549 }
550
551 public void actionPerformed(ActionEvent e)
552 {
553 String pname = undo.getRedoPresentationName();
554 try { undo.redo();} catch (Exception ex)
555 {
556 Toolkit.getDefaultToolkit().beep();
557 }
558
559 String qname = undo.getRedoPresentationName();
560 if(pname.equals("Redo deletion") && qname.equals("Redo addition"))
561 {
562 try { undo.redo(); } catch (Exception ex)
563 {
564 Toolkit.getDefaultToolkit().beep();
565 }
566 }
567
568 updateRedoState();
569 undoAction.updateUndoState();
570 caretListener.caretUpdate(lastCaretEvent);
571 }
572
573 protected void updateRedoState()
574 {
575 if (undo.canRedo()) {
576 setEnabled(true);
577 putValue(Action.NAME, undo.getRedoPresentationName());
578 }
579 else {
580 setEnabled(false);
581 putValue(Action.NAME, "Redo");
582 }
583 }
584 }
585
586 class MyCaret extends DefaultCaret
587 {
588 public void paint(Graphics g) {
589 if (!isVisible()) return;
590 try
591 {
592 JTextComponent c = getComponent();
593 int dot = getDot();
594 Rectangle r = c.modelToView(dot);
595 g.setColor(c.getCaretColor());
596 g.fillRect(r.x, r.y, 2, r.height);
597 }
598 catch (Exception e) { System.err.println("."); }
599 }
600
601 protected synchronized void damage(Rectangle r)
602 {
603 if (r == null) return;
604 x = r.x;
605 y = r.y;
606 width = 2;
607 height = r.height;
608 repaint();
609 }
610 }
611
612 }
613
614 // eof //
Git mirror of development version of newLISP.