diff options
| author | janna <unknown> | 2004-10-27 18:24:56 +0000 |
|---|---|---|
| committer | janna <unknown> | 2004-10-27 18:24:56 +0000 |
| commit | 8aa05c9736cb87776e23f4fb01228bbf0f12a67f (patch) | |
| tree | 910c42cc63029429e8535e5a1f2abb6f870c871e /src/JavaGUI/MarkedArea.java | |
| parent | 8be82a3936934ba123abba8a9a68da0eaac32620 (diff) | |
*** empty log message ***
Diffstat (limited to 'src/JavaGUI/MarkedArea.java')
| -rw-r--r-- | src/JavaGUI/MarkedArea.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/JavaGUI/MarkedArea.java b/src/JavaGUI/MarkedArea.java index 3e6de911d..3299db9aa 100644 --- a/src/JavaGUI/MarkedArea.java +++ b/src/JavaGUI/MarkedArea.java @@ -3,15 +3,16 @@ {
public int begin;
public int end;
- public String position;
+ public LinPosition position;
public String words;
- MarkedArea(int b, int e, String p, String w)
+ MarkedArea(int b, int e, LinPosition p, String w)
{
begin = b;
end = e;
position = p;
words = w;
}
+
}
|