mirror of
https://github.com/servo/servo.git
synced 2025-08-15 10:25:32 +01:00
Fix shutdown
This commit is contained in:
parent
449881f566
commit
c6a2f6eb05
3 changed files with 7 additions and 4 deletions
|
@ -33,7 +33,7 @@ public:
|
|||
virtual void OnAnimatingChanged(bool) = 0;
|
||||
|
||||
protected:
|
||||
virtual ~ServoDelegate(){log("A1");};
|
||||
virtual ~ServoDelegate(){};
|
||||
};
|
||||
|
||||
class Servo {
|
||||
|
@ -43,6 +43,7 @@ public:
|
|||
ServoDelegate &Delegate() { return mDelegate; }
|
||||
|
||||
void PerformUpdates() { capi::perform_updates(); }
|
||||
void DeInit() { capi::deinit(); }
|
||||
void RequestShutdown() { capi::request_shutdown(); }
|
||||
void SetBatchMode(bool mode) { capi::set_batch_mode(mode); }
|
||||
void GoForward() { capi::go_forward(); }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue