| Index: client/html/src/Element.dart
|
| diff --git a/client/html/src/Element.dart b/client/html/src/Element.dart
|
| index b91104a6507a944903c0991c200927435664f793..4709d777f4554b8f44cd749e0a35dffd39abfcfc 100644
|
| --- a/client/html/src/Element.dart
|
| +++ b/client/html/src/Element.dart
|
| @@ -12,14 +12,6 @@ class DeferredElementRect {
|
| // TODO(jacobr)
|
| }
|
|
|
| -class ScrollOptions {
|
| - final int lines;
|
| - final int pages;
|
| - final bool center;
|
| -
|
| - ScrollOptions([this.lines = 0, this.pages = 0, this.center = false]);
|
| -}
|
| -
|
| interface ElementEvents extends Events {
|
| EventListenerList get abort();
|
| EventListenerList get beforeCopy();
|
|
|