Class IndentProp


  • public class IndentProp
    extends java.lang.Object
    Definition of the indent level of some text. Defines how many characters it applies to, and what indent level they share. This is defined by the slightly confusingly named MasterTextPropRun
    • Constructor Summary

      Constructors 
      Constructor Description
      IndentProp​(int charactersCovered, short indentLevel)
      Generate the definition of a given text indent
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getCharactersCovered()
      Fetch the number of characters this styling applies to
      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
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • IndentProp

        public IndentProp​(int charactersCovered,
                          short indentLevel)
        Generate the definition of a given text indent
    • Method Detail

      • getCharactersCovered

        public int getCharactersCovered()
        Fetch the number of characters this styling applies to
      • getIndentLevel

        public int getIndentLevel()
      • setIndentLevel

        public void setIndentLevel​(int indentLevel)
        Sets the indent level, which can be between 0 and 4
      • updateTextSize

        public void updateTextSize​(int textSize)
        Update the size of the text that this set of properties applies to