Sign in

    moonbit-community/proton/types does not have a README file

    AccessibilityMode

    pub(all) enum AccessibilityMode {
    Automatic
    AlwaysEnabled
    } derive(Eq,
    Debug
    )

    Controls when Proton enables the browser accessibility tree.

    AccessibilityMode::equal

    AccessibilityMode::not_equal

    fn AccessibilityMode::not_equal(x : AccessibilityMode, y : AccessibilityMode) -> Bool

    AnimationSettings

    pub(all) struct AnimationSettings {
    should_render_rich_animation : Bool
    scroll_animations_enabled_by_system : Bool
    prefers_reduced_motion : Bool
    } derive(Eq,
    Debug
    )

    System animation guidance, matching Electron's getAnimationSettings.

    AnimationSettings::equal

    AnimationSettings::not_equal

    fn AnimationSettings::not_equal(x : AnimationSettings, y : AnimationSettings) -> Bool

    AppTaskMetric

    pub(all) struct AppTaskMetric {
    task_id : Int64
    task_type : AppTaskType
    process_cpu_percent : Double
    process_memory_bytes : Int64
    name : String
    } derive(Eq,
    Debug
    )

    A browser task and the resource usage of its hosting process.

    Multiple tasks can share a process and repeat its full CPU and memory usage. These values are not per-task usage and must not be summed across records. The task ID is not a PID; no process grouping key is available.

    AppTaskMetric::equal

    AppTaskMetric::not_equal

    fn AppTaskMetric::not_equal(x : AppTaskMetric, y : AppTaskMetric) -> Bool

    AppTaskType

    pub(all) enum AppTaskType {
    Unknown
    Browser
    Gpu
    Zygote
    Utility
    Renderer
    Extension
    Guest
    Plugin
    SandboxHelper
    Worker
    } derive(Eq,
    Debug
    )

    The kind of browser task represented by a metric.

    AppTaskType::equal

    fn AppTaskType::equal(AppTaskType, AppTaskType) -> Bool

    AppTaskType::not_equal

    fn AppTaskType::not_equal(x : AppTaskType, y : AppTaskType) -> Bool

    BridgeDiagnostic

    pub(all) struct BridgeDiagnostic {
    stage : String
    code : String
    message : String
    page_instance : String
    url : String
    owner : String?
    source_url : String?
    source_line : String?
    line : Int?
    column : Int?
    stack : String?
    additional_failure_count : Int?
    details_truncated : Bool
    } derive(Eq,
    Debug
    )

    Structured information about a bridge bootstrap or runtime failure.

    BridgeDiagnostic::equal

    BridgeDiagnostic::not_equal

    fn BridgeDiagnostic::not_equal(x : BridgeDiagnostic, y : BridgeDiagnostic) -> Bool

    BrowserState

    pub(all) struct BrowserState {
    url : String
    title : String
    is_loading : Bool
    can_go_back : Bool
    can_go_forward : Bool
    } derive(Eq,
    Debug
    )

    A point-in-time snapshot of a window's main browser page.

    BrowserState::equal

    BrowserState::not_equal

    fn BrowserState::not_equal(x : BrowserState, y : BrowserState) -> Bool

    CookieSameSite

    pub(all) enum CookieSameSite {
    Unspecified
    NoRestriction
    Lax
    Strict
    } derive(Eq,
    Debug
    )

    SameSite policy for a browser cookie.

    CookieSameSite::equal

    CookieSameSite::not_equal

    fn CookieSameSite::not_equal(x : CookieSameSite, y : CookieSameSite) -> Bool

    FindInPageResult

    pub(all) struct FindInPageResult {
    request_id : Int
    active_match_ordinal : Int
    matches : Int
    selection_x : Int
    selection_y : Int
    selection_width : Int
    selection_height : Int
    final_update : Bool
    } derive(Eq,
    Debug
    )

    One update from an active page search. The selection rectangle uses the target web contents coordinate space.

    FindInPageResult::equal

    FindInPageResult::not_equal

    fn FindInPageResult::not_equal(x : FindInPageResult, y : FindInPageResult) -> Bool

    JumpListCategory

    pub(all) struct JumpListCategory {
    kind : JumpListCategoryKind
    name : String
    items : Array[JumpListItem]
    }

    One category of the custom jump list, mirroring Electron's JumpListCategory.

    JumpListCategoryKind

    pub(all) enum JumpListCategoryKind {
    Tasks
    Custom
    Recent
    Frequent
    } derive(Eq,
    Debug
    )

    The kind of a jump list category, mirroring Electron's type property.

    JumpListCategoryKind::equal

    JumpListCategoryKind::not_equal

    JumpListItem

    pub(all) struct JumpListItem {
    kind : JumpListItemKind
    path : String
    arguments : String
    title : String
    description : String
    icon_path : String
    icon_index : Int
    working_directory : String
    }

    One item inside a custom jump list category.

    Empty strings mean "not set", which is how Electron treats omitted properties: a task needs path and title, a file link needs path, and a separator needs neither.

    JumpListItemKind

    pub(all) enum JumpListItemKind {
    Task
    Separator
    File
    } derive(Eq,
    Debug
    )

    The kind of a jump list item, mirroring Electron's type property.

    JumpListItemKind::equal

    JumpListItemKind::not_equal

    fn JumpListItemKind::not_equal(x : JumpListItemKind, y : JumpListItemKind) -> Bool

    JumpListResult

    pub(all) enum JumpListResult {
    Ok
    Error
    InvalidSeparator
    FileTypeRegistrationError
    CustomCategoryAccessDenied
    Unsupported
    } derive(Eq,
    Debug
    )

    The result of a jump list update, mirroring the strings Electron returns from setJumpList.

    JumpListResult::equal

    JumpListResult::not_equal

    fn JumpListResult::not_equal(x : JumpListResult, y : JumpListResult) -> Bool

    MediaAccessKind

    pub(all) enum MediaAccessKind {
    Microphone
    Camera
    Screen
    } derive(Eq,
    Debug
    )

    Media capture kinds, matching Electron's getMediaAccessStatus argument.

    MediaAccessKind::equal

    MediaAccessKind::not_equal

    fn MediaAccessKind::not_equal(x : MediaAccessKind, y : MediaAccessKind) -> Bool

    MediaAccessStatus

    pub(all) enum MediaAccessStatus {
    Unknown
    NotDetermined
    Granted
    Denied
    Restricted
    } derive(Eq,
    Debug
    )

    User consent for a media capture kind, matching Electron's getMediaAccessStatus result.

    MediaAccessStatus::equal

    MediaAccessStatus::not_equal

    fn MediaAccessStatus::not_equal(x : MediaAccessStatus, y : MediaAccessStatus) -> Bool

    pub(all) enum MenuItemRole {
    Quit
    Hide
    HideOthers
    ShowAll
    Close
    Minimize
    Zoom
    Undo
    Redo
    Cut
    Copy
    Paste
    SelectAll
    } derive(Eq,
    Debug
    )

    A standard native menu action.

    fn MenuItemRole::not_equal(x : MenuItemRole, y : MenuItemRole) -> Bool

    pub(all) enum MenuRole {
    Application
    File
    Edit
    View
    Window
    Help
    } derive(Eq,
    Debug
    )

    A standard top-level application menu role.
    fn MenuRole::equal(MenuRole, MenuRole) -> Bool

    fn MenuRole::not_equal(x : MenuRole, y : MenuRole) -> Bool

    ProgressBarMode

    pub(all) enum ProgressBarMode {
    Automatic
    Normal
    Indeterminate
    Error
    Paused
    Cleared
    } derive(Eq,
    Debug
    )

    Explicit progress states for WindowHandle::set_progress_bar, mirroring Electron's mode option. Only Windows renders the explicit states; macOS and Linux derive the indicator from the progress value alone.

    ProgressBarMode::equal

    ProgressBarMode::not_equal

    fn ProgressBarMode::not_equal(x : ProgressBarMode, y : ProgressBarMode) -> Bool

    RuntimeLaunchInput

    pub(all) enum RuntimeLaunchInput {
    OpenUrls(Array[String])
    OpenFiles(Array[String])
    Reopen
    } derive(Eq,
    Debug
    )

    An operating-system request delivered to an already running application.

    RuntimeLaunchInput::equal

    RuntimeLaunchInput::not_equal

    ScreenInfo

    pub(all) struct ScreenInfo {
    id : Int
    x : Int
    y : Int
    width : Int
    height : Int
    work_x : Int
    work_y : Int
    work_width : Int
    work_height : Int
    scale_factor_percent : Int
    is_primary : Bool
    } derive(Eq,
    Debug
    )

    Information about one connected display.

    ScreenInfo::equal

    fn ScreenInfo::equal(ScreenInfo, ScreenInfo) -> Bool

    ScreenInfo::not_equal

    fn ScreenInfo::not_equal(x : ScreenInfo, y : ScreenInfo) -> Bool

    ThumbarButtonFlag

    pub(all) enum ThumbarButtonFlag {
    Disabled
    DismissOnClick
    NoBackground
    Hidden
    NonInteractive
    } derive(Eq,
    Debug
    )

    Taskbar thumbnail-toolbar button flags, mirroring Electron's flags array. A button is enabled unless Disabled or NonInteractive is present.

    ThumbarButtonFlag::equal

    ThumbarButtonFlag::not_equal

    fn ThumbarButtonFlag::not_equal(x : ThumbarButtonFlag, y : ThumbarButtonFlag) -> Bool

    TitlebarStyle

    pub(all) enum TitlebarStyle {
    Default
    Overlay
    } derive(Eq,
    Debug
    )

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

    TitlebarStyle::equal

    TitlebarStyle::not_equal

    fn TitlebarStyle::not_equal(x : TitlebarStyle, y : TitlebarStyle) -> Bool

    TitlebarStyle::output

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

    TitlebarStyle::to_string

    fn TitlebarStyle::to_string(self : TitlebarStyle) -> String

    ViewState

    pub(all) struct ViewState {
    x : Int
    y : Int
    width : Int
    height : Int
    visible : Bool
    z_order : Int
    } derive(Eq,
    Debug
    )

    A point-in-time web contents view state snapshot.

    ViewState::equal

    fn ViewState::equal(ViewState, ViewState) -> Bool

    ViewState::not_equal

    fn ViewState::not_equal(x : ViewState, y : ViewState) -> Bool

    WindowMonitor

    pub(all) struct WindowMonitor {
    x : Int
    y : Int
    width : Int
    height : Int
    work_x : Int
    work_y : Int
    work_width : Int
    work_height : Int
    scale_factor_percent : Int
    } derive(Eq,
    Debug
    )

    Geometry and scaling information for the monitor containing a window.

    WindowMonitor::equal

    WindowMonitor::not_equal

    fn WindowMonitor::not_equal(x : WindowMonitor, y : WindowMonitor) -> Bool

    WindowSizeHint

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

    Controls how configured window dimensions constrain native resizing.

    WindowSizeHint::equal

    WindowSizeHint::not_equal

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

    WindowState

    pub(all) struct WindowState {
    x : Int
    y : Int
    width : Int
    height : Int
    monitor : WindowMonitor
    zoom_percent : Int
    visible : Bool
    focused : Bool
    minimized : Bool
    maximized : Bool
    fullscreen : Bool
    always_on_top : Bool
    theme : WindowTheme
    } derive(Eq,
    Debug
    )

    A point-in-time snapshot of a native window.

    theme is the effective Light or Dark theme after resolving the window's configured WindowThemePreference.

    WindowState::equal

    fn WindowState::equal(WindowState, WindowState) -> Bool

    WindowState::not_equal

    fn WindowState::not_equal(x : WindowState, y : WindowState) -> Bool

    WindowTheme

    pub(all) enum WindowTheme {
    Light
    Dark
    } derive(Eq,
    Debug
    )

    Describes the effective native window chrome theme.

    WindowTheme::equal

    fn WindowTheme::equal(WindowTheme, WindowTheme) -> Bool

    WindowTheme::not_equal

    fn WindowTheme::not_equal(x : WindowTheme, y : WindowTheme) -> Bool

    WindowThemePreference

    pub(all) enum WindowThemePreference {
    System
    Light
    Dark
    } derive(Eq,
    Debug
    )

    Controls how Proton chooses the native window chrome theme.

    WindowThemePreference::equal

    WindowThemePreference::not_equal

    WindowThemePreference::output

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

    WindowThemePreference::to_string

    fn WindowThemePreference::to_string(self : WindowThemePreference) -> String