Class PklSettings.Editor

  • Enclosing class:
    PklSettings

    public static final class PklSettings.Editor
    extends java.lang.Object
    An editor for viewing and editing Pkl files.
    • Constructor Detail

      • Editor

        public Editor​(java.lang.String urlScheme)
        Constructs an editor.
    • Method Detail

      • getUrlScheme

        public java.lang.String getUrlScheme()
        Returns the URL scheme for opening files in this editor. The following placeholders are supported: %{url}, %{path}, %{line}, %{column}.
      • equals

        public boolean equals​(@Nullable java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object