diff options
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;
}
+
}
|