mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-16 08:46:08 +03:00
inspector: remove unused next id system
This commit is contained in:
@ -20,11 +20,6 @@ const window_screen = "Screen";
|
|||||||
const window_size = "Surface Info";
|
const window_size = "Surface Info";
|
||||||
const window_imgui_demo = "Dear ImGui Demo";
|
const window_imgui_demo = "Dear ImGui Demo";
|
||||||
|
|
||||||
/// Unique ID system. This is used to generate unique IDs for Dear ImGui
|
|
||||||
/// widgets. Overflow to reset to 0 is fine. IDs should still be prefixed
|
|
||||||
/// by type to avoid collisions but its never going to happen.
|
|
||||||
next_id: usize = 123456789,
|
|
||||||
|
|
||||||
/// The surface that we're inspecting.
|
/// The surface that we're inspecting.
|
||||||
surface: *Surface,
|
surface: *Surface,
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user