mirror of
https://github.com/servo/servo.git
synced 2025-08-11 08:25:32 +01:00
UWP port: re-enable devtools
This commit is contained in:
parent
58ff35f5bf
commit
00395125f6
6 changed files with 34 additions and 7 deletions
|
@ -14,6 +14,7 @@ using namespace winrt::Windows::UI::Xaml;
|
|||
using namespace winrt::Windows::UI::Core;
|
||||
using namespace winrt::Windows::UI::ViewManagement;
|
||||
using namespace winrt::Windows::ApplicationModel::Core;
|
||||
using namespace winrt::Windows::UI::Notifications;
|
||||
|
||||
namespace winrt::ServoApp::implementation {
|
||||
BrowserPage::BrowserPage() {
|
||||
|
@ -109,7 +110,10 @@ void BrowserPage::SetTransientMode(bool transient) {
|
|||
|
||||
void BrowserPage::SetArgs(hstring args) { servoControl().SetArgs(args); }
|
||||
|
||||
void BrowserPage::Shutdown() { servoControl().Shutdown(); }
|
||||
void BrowserPage::Shutdown() {
|
||||
ToastNotificationManager::History().Clear();
|
||||
servoControl().Shutdown();
|
||||
}
|
||||
|
||||
/**** USER INTERACTIONS WITH UI ****/
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue