| Index: client/html/generated/html/interface/Element.dart
|
| diff --git a/client/html/generated/html/interface/Element.dart b/client/html/generated/html/interface/Element.dart
|
| index 00d1ea9e381bf0bd7ac903ad295404e9c2585bbb..8e395a06ebc06db6b2584a9749506c6ce3a241ca 100644
|
| --- a/client/html/generated/html/interface/Element.dart
|
| +++ b/client/html/generated/html/interface/Element.dart
|
| @@ -371,6 +371,8 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
|
|
|
| String title;
|
|
|
| + bool translate;
|
| +
|
| final String webkitRegionOverflow;
|
|
|
| String webkitdropzone;
|
|
|