Function get_double_click_time 

pub fn get_double_click_time() -> Value

Return the OS double-click interval in milliseconds. On Windows: GetDoubleClickTime() — typically 500ms, user-configurable via Mouse settings. On non-Windows: hardcoded 500ms (the Win32 default, also a common cross-platform default; Phase 7 can refine per platform).

Used by the InstancePanel to defer single-click focus past the user’s dblclick threshold so dblclick-to-rename works for everyone, not just users with the default-or-faster setting. Without this query, a fixed constant would make rename unreliable for slow double-clickers (codex PR #569 round-2 P2).