rioterm 0.4.11

Rio terminal is a hardware-accelerated GPU terminal emulator, focusing to run in desktops and browsers.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#[cfg(not(any(target_os = "macos")))]
pub const PADDING_Y: f32 = 2.0;

#[cfg(target_os = "macos")]
pub const PADDING_Y: f32 = 26.;

#[cfg(target_os = "macos")]
pub const ADDITIONAL_PADDING_Y_ON_UNIFIED_TITLEBAR: f32 = 2.;

// Vertically centers the ~14px buttons in the 38px island strip
// ((38 - 14) / 2 = 12).
#[cfg(target_os = "macos")]
pub const TRAFFIC_LIGHT_PADDING: f64 = 12.;

pub const MULTI_CLICK_THRESHOLD: std::time::Duration =
    std::time::Duration::from_millis(300);

#[cfg(all(
    feature = "audio",
    not(target_os = "macos"),
    not(target_os = "windows")
))]
pub const BELL_DURATION: std::time::Duration = std::time::Duration::from_millis(200);