public class IndentProp extends java.lang.Object implements GenericRecord
Constructor and Description |
---|
IndentProp(int charactersCovered,
short indentLevel)
Generate the definition of a given text indent
|
Modifier and Type | Method and Description |
---|---|
int |
getCharactersCovered()
Fetch the number of characters this styling applies to
|
java.util.Map<java.lang.String,java.util.function.Supplier<?>> |
getGenericProperties() |
int |
getIndentLevel() |
void |
setIndentLevel(int indentLevel)
Sets the indent level, which can be between 0 and 4
|
void |
updateTextSize(int textSize)
Update the size of the text that this set of properties
applies to
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getGenericChildren, getGenericRecordType
public IndentProp(int charactersCovered, short indentLevel)
public int getCharactersCovered()
public int getIndentLevel()
public void setIndentLevel(int indentLevel)
public void updateTextSize(int textSize)
public java.util.Map<java.lang.String,java.util.function.Supplier<?>> getGenericProperties()
getGenericProperties
in interface GenericRecord
Copyright 2022 The Apache Software Foundation or its licensors, as applicable.