Interface DevUIConfig


@ConfigRoot @ConfigMapping(prefix="quarkus.dev-ui") public interface DevUIConfig
  • Method Details

    • historySize

      @WithDefault("50") int historySize()
      The number of history log entries to remember.
    • showJsonRpcLog

      @WithDefault("false") boolean showJsonRpcLog()
      Show the JsonRPC Log. Useful for extension developers
    • baseTheme

      @WithDefault("quarkus") DevUIConfig.BaseTheme baseTheme()
      Set the base theme.
      Returns:
      Theme
    • hosts

      Optional<List<String>> hosts()
      More hosts allowed for Dev UI Comma separated list of valid URLs, e.g.: www.quarkus.io, myhost.com (This can also be a regex, e.g.: ^([A-Za-z0-9-]+).apps.myhost.com) By default localhost and 127.0.0.1 will always be allowed Note: Wildcards are not supported (e.g.: *.apps.myhost.com)
    • contextRoot

      Optional<String> contextRoot()
      Set a context root for dev-ui. This is useful for remote environments or online IDEs
      Returns:
      The dev-ui context root
    • workspace

      Workspace configuration.
    • cors

      CORS configuration.
    • allowExtensionManagement

      @WithDefault("true") boolean allowExtensionManagement()
      Enable/Disable the ability to add and remove extensions from Dev UI
    • theme

      Fine tune the theme