Add theme change event

Change-Id: Ie64b1181a87361dc10426d2941dfcac5e334c7b2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/384322
Reviewed-by: Kenzie Davisson <kenzieschmoll@google.com>
Commit-Queue: Helin Shiah <helinx@google.com>
This commit is contained in:
Helin Shiah
2024-09-10 18:34:14 +00:00
committed by Commit Queue
parent bad285fafd
commit aa08d0643e
+22 -1
View File
@@ -133,10 +133,18 @@ An event sent by an editor when a debug session ends.
An event sent by an editor when a debug session is changed.
This could be happen when a VM Service URI becomes available for a session
This could happen when a VM Service URI becomes available for a session
launched in debug mode, for example.
## themeChanged
`ThemeChangedEvent`
An event sent by an editor when its theme has changed.
This could happen when a user changes their settings to toggle between light
and dark mode or increase/decrease font size.
# Type Definitions
```dart
@@ -188,6 +196,11 @@ class DeviceSelectedEvent {
String? deviceId;
}
/// An event sent by an editor when theme settings have changed.
class ThemeChangedEvent {
Theme theme;
}
/// A debug session running in the editor.
class EditorDebugSession {
String id;
@@ -218,6 +231,14 @@ class EditorDevice {
bool supported;
}
/// The description of an editor's theme.
class Theme {
bool isDarkMode;
String? backgroundColor;
String? foregroundColor;
int? fontSize;
}
/// Parameters for the `enablePlatformTypeParams` request.
class EnablePlatformTypeParams {
/// The `platformType` to enable.