mirror of
https://github.com/servo/servo
synced 2026-04-28 18:37:39 +02:00
Use u32 for WorkerId.
This commit is contained in:
@@ -312,7 +312,7 @@ pub enum NavigationDirection {
|
||||
pub struct FrameId(pub u32);
|
||||
|
||||
#[derive(Clone, PartialEq, Eq, Copy, Hash, Debug)]
|
||||
pub struct WorkerId(pub uint);
|
||||
pub struct WorkerId(pub u32);
|
||||
|
||||
#[derive(Clone, PartialEq, Eq, Copy, Hash, Debug)]
|
||||
pub struct PipelineId(pub uint);
|
||||
|
||||
Reference in New Issue
Block a user