| Index: tools/dom/scripts/systemhtml.py
|
| diff --git a/tools/dom/scripts/systemhtml.py b/tools/dom/scripts/systemhtml.py
|
| index b8894890e7f758bf86b6da3060be3f6a2234b62a..5133ef6d26bb5285c68744098def1c150b9687ed 100644
|
| --- a/tools/dom/scripts/systemhtml.py
|
| +++ b/tools/dom/scripts/systemhtml.py
|
| @@ -925,6 +925,9 @@ class Dart2JSBackend(HtmlDartGenerator):
|
| def RootClassName(self):
|
| return 'Interceptor'
|
|
|
| + def OmitOperationOverrides(self):
|
| + return True
|
| +
|
| def EmitOperation(self, info, html_name):
|
| """
|
| Arguments:
|
|
|