Class Chunk


  • public class Chunk
    extends Token
    A syntax token with extra information required for painting it on screen.
    Since:
    jEdit 4.1pre1
    • Field Detail

      • EMPTY_FONT_ARRAY

        public static final java.awt.Font[] EMPTY_FONT_ARRAY
      • EMPTY_GLYPH_VECTOR_ARRAY

        public static final java.awt.font.GlyphVector[] EMPTY_GLYPH_VECTOR_ARRAY
    • Method Detail

      • paintChunkList

        public static float paintChunkList​(Chunk chunks,
                                           java.awt.Graphics2D gfx,
                                           float x,
                                           float y,
                                           boolean glyphVector)
        Paints a chunk list.
        Parameters:
        chunks - The chunk list
        gfx - The graphics context
        x - The x co-ordinate
        y - The y co-ordinate
        glyphVector - true if we want to use glyphVector, false if we want to use drawString
        Returns:
        The width of the painted text
        Since:
        jEdit 4.2pre1
      • paintChunkBackgrounds

        public static float paintChunkBackgrounds​(Chunk chunks,
                                                  java.awt.Graphics2D gfx,
                                                  float x,
                                                  float y,
                                                  float lineHeight)
        Paints the background highlights of a chunk list.
        Parameters:
        chunks - The chunk list
        gfx - The graphics context
        x - The x co-ordinate
        y - The y co-ordinate
        Returns:
        The width of the painted backgrounds
        Since:
        jEdit 4.2pre1
      • offsetToX

        public static float offsetToX​(Chunk chunks,
                                      int offset)
        Converts an offset in a chunk list into an x co-ordinate.
        Parameters:
        chunks - The chunk list
        offset - The offset
        Since:
        jEdit 4.1pre1
      • xToOffset

        public static int xToOffset​(Chunk chunks,
                                    float x,
                                    boolean round)
        Converts an x co-ordinate in a chunk list into an offset.
        Parameters:
        chunks - The chunk list
        x - The x co-ordinate
        round - Round up to next letter if past the middle of a letter?
        Returns:
        The offset within the line, or -1 if the x co-ordinate is too far to the right
        Since:
        jEdit 4.1pre1
      • propertiesChanged

        public static void propertiesChanged​(IPropertyManager props)
        Reload internal configuration based on the given properties.
        Parameters:
        props - Configuration properties.
        Since:
        jEdit 4.4pre1
      • getSubstFont

        public static java.awt.Font getSubstFont​(int codepoint)
        Returns the first font which can display a character from configured substitution candidates, or null if there is no such font.
      • deriveSubstFont

        public static java.awt.Font deriveSubstFont​(java.awt.Font mainFont,
                                                    java.awt.Font candidateFont)
        Derives a font to match the main font for purposes of font substitution. Preserves any transformations from main font. For system-fallback fonts, derives size and style from main font.
        Parameters:
        mainFont - Font to derive from
        candidateFont - Font to transform
      • usedFontSubstitution

        public boolean usedFontSubstitution()
        Returns true if font substitution was used in the layout of this chunk. If substitution was not used, the chunk may be assumed to be composed of one glyph using a single font.