mirror of
https://github.com/servo/servo.git
synced 2025-08-11 08:25:32 +01:00
Add a devtools button
This commit is contained in:
parent
6ca767d7f9
commit
a707432b00
9 changed files with 62 additions and 15 deletions
|
@ -26,6 +26,8 @@ public:
|
|||
Windows::UI::Xaml::RoutedEventArgs const &);
|
||||
void OnHomeButtonClicked(Windows::Foundation::IInspectable const &,
|
||||
Windows::UI::Xaml::RoutedEventArgs const &);
|
||||
void OnDevtoolsButtonClicked(Windows::Foundation::IInspectable const &,
|
||||
Windows::UI::Xaml::RoutedEventArgs const &);
|
||||
void OnURLEdited(Windows::Foundation::IInspectable const &,
|
||||
Windows::UI::Xaml::Input::KeyRoutedEventArgs const &);
|
||||
void OnURLFocused(Windows::Foundation::IInspectable const &);
|
||||
|
@ -43,6 +45,8 @@ public:
|
|||
|
||||
private:
|
||||
void BindServoEvents();
|
||||
DevtoolsStatus mDevtoolsStatus = DevtoolsStatus::Stopped;
|
||||
unsigned int mDevtoolsPort = 0;
|
||||
};
|
||||
} // namespace winrt::ServoApp::implementation
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue