EditorUnicodeHighlightOptions |
EditorUnicodeHighlightOptions.addAllowedCharacter(java.lang.String key,
java.lang.Boolean value) |
A map of allowed characters (true: allowed).
|
EditorUnicodeHighlightOptions |
DiffEditorOptions.getUnicodeHighlight() |
|
EditorUnicodeHighlightOptions |
EditorOptions.getUnicodeHighlight() |
|
EditorUnicodeHighlightOptions |
EditorUnicodeHighlightOptions.setAllowedCharacters(java.util.Map<java.lang.String,java.lang.Boolean> allowedCharacters) |
|
EditorUnicodeHighlightOptions |
EditorUnicodeHighlightOptions.setAllowedCharacters(org.primefaces.shaded.json.JSONObject allowedCharacters) |
|
EditorUnicodeHighlightOptions |
EditorUnicodeHighlightOptions.setAmbiguousCharacters(java.lang.Boolean ambiguousCharacters) |
|
EditorUnicodeHighlightOptions |
EditorUnicodeHighlightOptions.setIncludeComments(java.lang.Boolean includeComments) |
|
EditorUnicodeHighlightOptions |
EditorUnicodeHighlightOptions.setInvisibleCharacters(java.lang.Boolean invisibleCharacters) |
|
EditorUnicodeHighlightOptions |
EditorUnicodeHighlightOptions.setNonBasicASCII(java.lang.Boolean nonBasicASCII) |
|