| Index: client/dom/generated/src/interface/Clipboard.dart
|
| diff --git a/client/dom/generated/src/interface/Clipboard.dart b/client/dom/generated/src/interface/Clipboard.dart
|
| index 616a6b96764b00543681266606702b1720ff1dbc..9844c4f9b0db6b70e03cc904ef6dc475eb43dee8 100644
|
| --- a/client/dom/generated/src/interface/Clipboard.dart
|
| +++ b/client/dom/generated/src/interface/Clipboard.dart
|
| @@ -6,19 +6,15 @@
|
|
|
| interface Clipboard {
|
|
|
| - String get dropEffect();
|
| + String dropEffect;
|
|
|
| - void set dropEffect(String value);
|
| + String effectAllowed;
|
|
|
| - String get effectAllowed();
|
| + final FileList files;
|
|
|
| - void set effectAllowed(String value);
|
| + final DataTransferItemList items;
|
|
|
| - FileList get files();
|
| -
|
| - DataTransferItemList get items();
|
| -
|
| - List get types();
|
| + final List types;
|
|
|
| void clearData([String type]);
|
|
|
|
|