mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
parent
e958d92be6
commit
4cf46bff2d
51 changed files with 97 additions and 137 deletions
|
@ -70,8 +70,7 @@ use std::sync::mpsc::TryRecvError::{Empty, Disconnected};
|
|||
use time;
|
||||
|
||||
/// Current state of the window object
|
||||
#[derive(Copy, Clone, Debug, PartialEq)]
|
||||
#[jstraceable]
|
||||
#[derive(JSTraceable, Copy, Clone, Debug, PartialEq)]
|
||||
enum WindowState {
|
||||
Alive,
|
||||
Zombie, // Pipeline is closed, but the window hasn't been GCed yet.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue