🥮 mooncakes.io
    Sign in

    #proton/manifest

    moonbit-community/proton/manifest defines application-entry and window configuration types used by the root facade.

    It is a data package. Project configuration files are decoded and validated by moonbit-community/proton_config; application lifecycle belongs in the root proton facade.

    TitlebarStyle

    source

    Controls whether web content stays below or extends beneath the titlebar.

    WindowThemePreference

    source

    Controls how Proton chooses the native window chrome theme.

    AppEntry

    source
    pub(all) enum AppEntry {
      Html(String)
      Url(String)
      File(String)
      Asset(String)
    } derive(Eq, 
    Debug    )

    Declarative entry content loaded into a Proton application window.
    impl Show for AppEntry

    AppEntry::equal

    source
    fn AppEntry::equal(AppEntry, AppEntry) -> Bool

    AppEntry::not_equal

    source
    fn AppEntry::not_equal(x : AppEntry, y : AppEntry) -> Bool

    AppEntry::output

    source
    fn AppEntry::output(self : AppEntry, logger : &Logger) -> Unit

    AppEntry::to_repr

    source

    AppEntry::to_string

    source
    fn AppEntry::to_string(self : AppEntry) -> String

    AppManifest

    source
    pub struct AppManifest {
      window : WindowManifest
      entry : AppEntry
      windows : Array[AppWindowManifest]
      debug : Int
    }

    Declarative application manifest consumed by the runtime.

    AppManifest::AppManifest

    source
    fn AppManifest::AppManifest(window : WindowManifest, entry : AppEntry, debug? : Int, windows? : Array[AppWindowManifest]) -> AppManifest

    Builds an app manifest. The defaults match the minimal declarative shape accepted by bootstrap so callers can opt into debug, extra windows, or extensions incrementally.

    AppWindowManifest

    source
    pub struct AppWindowManifest {
      id : String
      window : WindowManifest
      entry : AppEntry
      open_on_start : Bool
    } derive(Eq, 
    Debug    )

    Declarative secondary window entry consumed by runtime manifests.

    AppWindowManifest::AppWindowManifest

    source
    fn AppWindowManifest::AppWindowManifest(id : String, window : WindowManifest, entry : AppEntry, open_on_start? : Bool) -> AppWindowManifest

    Builds a declarative secondary window entry. Secondary windows keep their own id, window settings, and entry payload in the manifest document.

    AppWindowManifest::equal

    source

    AppWindowManifest::not_equal

    source
    fn AppWindowManifest::not_equal(x : AppWindowManifest, y : AppWindowManifest) -> Bool

    AppWindowManifest::output

    source
    fn AppWindowManifest::output(self : AppWindowManifest, logger : &Logger) -> Unit

    AppWindowManifest::to_repr

    source

    AppWindowManifest::to_string

    source
    fn AppWindowManifest::to_string(self : AppWindowManifest) -> String

    WindowManifest

    source
    pub struct WindowManifest {
      title : String
      width : Int
      height : Int
      size_hint : WindowSizeHint
      titlebar_style : 
    TitlebarStyle
      theme_preference : 
    WindowThemePreference
      traffic_light_position : (Int, Int)?
    } derive(Eq, 
    Debug    )

    Declarative window settings consumed by runtime manifests.

    WindowManifest::WindowManifest

    source
    fn WindowManifest::WindowManifest(title : String, width : Int, height : Int, size_hint? : WindowSizeHint, titlebar_style? : 
    TitlebarStyle    , theme? : 
    WindowThemePreference    , traffic_light_position? : (Int, Int)) -> WindowManifest

    Builds a manifest window configuration. This is the declarative window shape consumed by bootstrap and later turned into runtime WindowConfig values.

    WindowManifest::equal

    source

    WindowManifest::not_equal

    source
    fn WindowManifest::not_equal(x : WindowManifest, y : WindowManifest) -> Bool

    WindowManifest::output

    source
    fn WindowManifest::output(self : WindowManifest, logger : &Logger) -> Unit

    WindowManifest::to_repr

    source

    WindowManifest::to_string

    source
    fn WindowManifest::to_string(self : WindowManifest) -> String

    WindowSizeHint

    source
    pub(all) enum WindowSizeHint {
      None
      Fixed
      Min
      Max
    } derive(Eq, 
    Debug    )

    Declarative sizing hint used by manifest windows.

    WindowSizeHint::equal

    source

    WindowSizeHint::not_equal

    source
    fn WindowSizeHint::not_equal(x : WindowSizeHint, y : WindowSizeHint) -> Bool

    WindowSizeHint::output

    source
    fn WindowSizeHint::output(self : WindowSizeHint, logger : &Logger) -> Unit

    WindowSizeHint::to_repr

    source

    WindowSizeHint::to_string

    source
    fn WindowSizeHint::to_string(self : WindowSizeHint) -> String

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io