mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Remove unused exit after load option.
This simplifies some upcoming changes to how event handling works.
This commit is contained in:
parent
133b523d2b
commit
898c1ecc8f
7 changed files with 6 additions and 53 deletions
|
@ -55,8 +55,6 @@ pub enum WindowEvent {
|
|||
PinchZoomWindowEvent(f32),
|
||||
/// Sent when the user uses chrome navigation (i.e. backspace or shift-backspace).
|
||||
NavigationWindowEvent(WindowNavigateMsg),
|
||||
/// Sent when rendering is finished.
|
||||
FinishedWindowEvent,
|
||||
/// Sent when the user quits the application
|
||||
QuitWindowEvent,
|
||||
/// Sent when a key input state changes
|
||||
|
@ -77,7 +75,6 @@ impl Show for WindowEvent {
|
|||
ZoomWindowEvent(..) => write!(f, "Zoom"),
|
||||
PinchZoomWindowEvent(..) => write!(f, "PinchZoom"),
|
||||
NavigationWindowEvent(..) => write!(f, "Navigation"),
|
||||
FinishedWindowEvent => write!(f, "Finished"),
|
||||
QuitWindowEvent => write!(f, "Quit"),
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue