Preferences.java
850 Bytes
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
package morfeusz;
import java.io.Serializable;
import pl.sgjp.morfeusz.*;
@SuppressWarnings("serial")
public class Preferences implements Serializable
{
public String aggl;
public String praet;
public CaseHandling caseHandling;
public WhitespaceHandling whitespaceHandling;
public TokenNumbering tokenNumbering;
public int fontSize;
public int sortedColumn;
public String dictionary;
public String[] dictPaths;
public Preferences()
{
}
public void setDefaults()
{
setMorfeuszDefaults();
fontSize = 2;
sortedColumn = 0;
dictionary = null;
dictPaths = null;
}
public void setMorfeuszDefaults()
{
aggl = "strict";
praet = "split";
caseHandling = CaseHandling.CONDITIONALLY_CASE_SENSITIVE;
whitespaceHandling = WhitespaceHandling.SKIP_WHITESPACES;
tokenNumbering = TokenNumbering.SEPARATE_NUMBERING;
}
}