b9819977a5
Includes prior-session patches (carry forward so the app compiles): - crates/gpui/build.rs: cross-compile manifest fix - crates/gpui/src/platform.rs: PlatformWindow::activate_with_token trait method - crates/gpui/src/window.rs: Window::activate_with_token public API - crates/gpui_linux/src/linux/wayland/window.rs: WaylandWindow::activate_with_token + activate() keyboard-serial fix Plus the focus-serial fix: - serial.rs: SerialKind::KeyboardEnter - client.rs: store wl_keyboard.enter serial; latest_serial_of() Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
29 lines
915 B
Plaintext
29 lines
915 B
Plaintext
interface github {
|
|
/// A GitHub release.
|
|
record github-release {
|
|
/// The version of the release.
|
|
version: string,
|
|
/// The list of assets attached to the release.
|
|
assets: list<github-release-asset>,
|
|
}
|
|
|
|
/// An asset from a GitHub release.
|
|
record github-release-asset {
|
|
/// The name of the asset.
|
|
name: string,
|
|
/// The download URL for the asset.
|
|
download-url: string,
|
|
}
|
|
|
|
/// The options used to filter down GitHub releases.
|
|
record github-release-options {
|
|
/// Whether releases without assets should be included.
|
|
require-assets: bool,
|
|
/// Whether pre-releases should be included.
|
|
pre-release: bool,
|
|
}
|
|
|
|
/// Returns the latest release for the given GitHub repository.
|
|
latest-github-release: func(repo: string, options: github-release-options) -> result<github-release, string>;
|
|
}
|