1 | /** This class is not currently used and therefore will not be compiled by makegli. */
|
---|
2 |
|
---|
3 | package org.greenstone.gatherer.feedback;
|
---|
4 |
|
---|
5 | import javax.swing.*;
|
---|
6 | import javax.swing.text.*;
|
---|
7 | import java.util.Date;
|
---|
8 | import java.awt.Color;
|
---|
9 |
|
---|
10 | /**
|
---|
11 | * This class will allow us to changed what should be inputted to the
|
---|
12 | * text area as the user inputted the text to the text area.
|
---|
13 | * @author Veronica Liesaputra
|
---|
14 | */
|
---|
15 | public class MyTextArea extends JTextArea
|
---|
16 | {
|
---|
17 | /**
|
---|
18 | * Creating an empty JTextArea.
|
---|
19 | */
|
---|
20 | public MyTextArea ()
|
---|
21 | {
|
---|
22 | super();
|
---|
23 | }
|
---|
24 |
|
---|
25 | /**
|
---|
26 | * Creating a JTextArea already appended with cols.
|
---|
27 | * (Precondition: (cols != null))
|
---|
28 | * @param cols the text to be appended.
|
---|
29 | */
|
---|
30 | public MyTextArea(String cols)
|
---|
31 | {
|
---|
32 | super(cols);
|
---|
33 | }
|
---|
34 |
|
---|
35 | /**
|
---|
36 | * It will give the default model this text area should use.
|
---|
37 | * @return the default model this text area used.
|
---|
38 | */
|
---|
39 | protected Document createDefaultModel()
|
---|
40 | {
|
---|
41 | return new UpperCaseDocument();
|
---|
42 | }
|
---|
43 |
|
---|
44 | /**
|
---|
45 | * This class will be used as the default model of MyTextArea.
|
---|
46 | * Here we can control and modified the string that is going to be inserted to
|
---|
47 | * the document.
|
---|
48 | */
|
---|
49 | static class UpperCaseDocument extends PlainDocument
|
---|
50 | {
|
---|
51 | /**
|
---|
52 | * This method will caused the document to be appended with the date followed by newline
|
---|
53 | * everytime user trying to insert a new line to the document.
|
---|
54 | * (Precondition : (offs >= 0) && (str != null))
|
---|
55 | * @param offs is the offset placted to insert the string.
|
---|
56 | * @param str is the string to be inserted.
|
---|
57 | * @param a is the attribute set to be used.
|
---|
58 | */
|
---|
59 | public void insertString(int offs, String str, AttributeSet a)
|
---|
60 | throws BadLocationException
|
---|
61 | {
|
---|
62 | if (str == null)
|
---|
63 | {
|
---|
64 | return;
|
---|
65 | }
|
---|
66 |
|
---|
67 | char[] upper;
|
---|
68 | upper = str.toCharArray();
|
---|
69 |
|
---|
70 | if (str.endsWith("\n") == true)
|
---|
71 | {
|
---|
72 | String str2;
|
---|
73 | str2 = str + ((new Date()).toString()) + "\n\n>";
|
---|
74 | upper = str2.toCharArray();
|
---|
75 | }
|
---|
76 |
|
---|
77 | super.insertString(offs, new String(upper), a);
|
---|
78 | }
|
---|
79 | }
|
---|
80 | }
|
---|
81 |
|
---|
82 |
|
---|
83 |
|
---|
84 |
|
---|
85 |
|
---|