Module org.jline.prompt
Package org.jline.prompt

Interface EditorBuilder

All Superinterfaces:
BaseBuilder<EditorBuilder>
All Known Implementing Classes:
DefaultEditorBuilder
public interface EditorBuilder extends BaseBuilder<EditorBuilder>
Builder interface for editor prompts.

EditorBuilder extends BaseBuilder to provide a consistent fluent API for creating editor prompts. The name() and message() methods are inherited from BaseBuilder, ensuring API consistency across all prompt types.

See Also:

  • Method Details

    • initialText

      EditorBuilder initialText(String initialText)
      Set the initial text for the editor.
      Parameters:
      initialText - the initial text
      Returns:
      this builder

    • fileExtension

      EditorBuilder fileExtension(String fileExtension)
      Set the file extension for syntax highlighting.
      Parameters:
      fileExtension - the file extension (without dot)
      Returns:
      this builder

    • title

      EditorBuilder title(String title)
      Set the title for the editor.
      Parameters:
      title - the editor title
      Returns:
      this builder

    • showLineNumbers

      EditorBuilder showLineNumbers(boolean showLineNumbers)
      Set whether to show line numbers.
      Parameters:
      showLineNumbers - true to show line numbers
      Returns:
      this builder

    • enableWrapping

      EditorBuilder enableWrapping(boolean enableWrapping)
      Set whether to enable text wrapping.
      Parameters:
      enableWrapping - true to enable wrapping
      Returns:
      this builder