GuiApplicationBuilder
Fluent DSL for assembling a GuiApplicationConfiguration - see buildGuiApplication for the usual entry point, which builds a whole running GuiApplication from one of these in a single call.
Functions
Validates every accumulated setting (no duplicate profile/extension ids, at least one profile, a valid default) and produces the immutable configuration.
Sets the workspace-wide default solver options.
Explicitly picks the default solver profile new pages/workspaces start with.
Sets the workspace-wide default resolution timeout; must be positive.
Registers value, contributing its own solver profiles/features/commands to the application.
Sets the application's cosmetic metadata (defaults to ApplicationMetadata's own defaults).
Sets whether resolutions on different pages may run concurrently or pre-empt each other.
Registers profile, directly (as opposed to one contributed by an extension); the first one registered becomes the default unless makeDefault is set on a later one.