Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DECORATION_BOX |
8 |
public static final int |
DECORATION_DEFAULT |
7 |
public static final int |
DECORATION_HEADER_LINE |
1 |
public static final int |
DECORATION_LINENUM_LINE |
2 |
public static final int |
DECORATION_PREVIEW_LINE |
4 |
public static final int |
MOUSE_SCROLL_LINES |
3 |
public static final int |
NO_MODIFIER |
0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
MIME_CLIPBOARD_BINARY |
"application/octet-stream" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
EXCEPTION1_CODE_POINT |
142 |
public static final int |
EXCEPTION2_CODE_POINT |
158 |
public static final int |
INV_SPACE_CODE_POINT |
127 |
public static final int |
MAX_MONOSPACE_CODE_POINT |
451 |
public static final int |
MIN_MONOSPACE_CODE_POINT |
25 |