use gpui::{Pixels, Window, px}; // Use pixels here instead of a rem-based size because the macOS traffic// lights are a static size, and don't scale with the rest of the UI.//// Magic number: There is one extra pixel of padding on the left side due to// the 1px border around the window on macOS apps.#[cfg(macos_sdk_26)]pub const TRAFFIC_LIGHT_PADDING: f32 = 78.; #[cfg(not(macos_sdk_26))]pub const TRAFFIC_LIGHT_PADDING: f32 = 71.; /// Returns the platform-appropriate title bar height.////// On Windows, this returns a fixed height of 32px./// On other platforms, it scales with the window's rem size (1.75x) with a minimum of 34px.#[cfg(not(target_os = "windows"))]pub fn platform_title_bar_height(window: &Window) -> Pixels {    (1.75 * window.rem_size()).max(px(34.))} #[cfg(target_os = "windows")]pub fn platform_title_bar_height(_window: &Window) -> Pixels {    // todo(windows) instead of hard coded size report the actual size to the Windows platform API    px(32.)}