| Index: client/dom/generated/src/interface/HTMLStyleElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLStyleElement.dart b/client/dom/generated/src/interface/HTMLStyleElement.dart
|
| index c5fab9889e326e75887046dafac8c2b1d79b7d8b..9c7908be7bbffd6e9db48a59ec138cf165bcbc42 100644
|
| --- a/client/dom/generated/src/interface/HTMLStyleElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLStyleElement.dart
|
| @@ -14,6 +14,10 @@ interface HTMLStyleElement extends HTMLElement {
|
|
|
| void set media(String value);
|
|
|
| + bool get scoped();
|
| +
|
| + void set scoped(bool value);
|
| +
|
| StyleSheet get sheet();
|
|
|
| String get type();
|
|
|