Class LeafletPage

All Implemented Interfaces:
PointerInterface

public class LeafletPage extends Object
  • Constructor Details

  • Method Details

    • getClassHandler

      public static ClassHandler getClassHandler()
    • getChild

      public Widget getChild()
      Gets the leaflet child to which @self belongs.
      Returns:
      the child to which @self belongs
    • getName

      public Str getName()
      Gets the name of @self.
      Returns:
      the name of @self.
    • getNavigatable

      public boolean getNavigatable()
      Gets whether the child can be navigated to when folded.
      Returns:
      whether @self can be navigated to when folded
    • setName

      public void setName(@Nullable Str name)
      Sets the name of the @self.
      Parameters:
      name - the new value to set
    • setName

      public void setName(String name)
      Sets the name of the @self.
      Parameters:
      name - the new value to set
    • setNavigatable

      public void setNavigatable(boolean navigatable)
      Sets whether @self can be navigated to when folded.

      If `FALSE`, the child will be ignored by [method@Leaflet.get_adjacent_child],
      [method@Leaflet.navigate], and swipe gestures.

      This can be used used to prevent switching to widgets like separators.
      Parameters:
      navigatable - whether @self can be navigated to when folded
    • getTypeID

      public static long getTypeID()
    • getParentTypeID

      public static long getParentTypeID()
    • getTypeSize

      public static TypeSystem.TypeSize getTypeSize()
    • getParentTypeSize

      public static TypeSystem.TypeSize getParentTypeSize()
    • getInstanceSize

      public static int getInstanceSize()