| Index: runtime/observatory/lib/src/elements/helpers/rendering_scheduler.dart
|
| diff --git a/runtime/observatory/lib/src/elements/helpers/rendering_scheduler.dart b/runtime/observatory/lib/src/elements/helpers/rendering_scheduler.dart
|
| index 562d04b4521bef4e8f5e48703715884da5e3df45..a2ab15549c5370836f2fb7ba330a87cbfdb7cdf2 100644
|
| --- a/runtime/observatory/lib/src/elements/helpers/rendering_scheduler.dart
|
| +++ b/runtime/observatory/lib/src/elements/helpers/rendering_scheduler.dart
|
| @@ -35,9 +35,13 @@ class RenderingScheduler<T extends Renderable> implements RenderingTask {
|
| final T element;
|
| /// Queue used for rendering operations.
|
| final RenderingQueue queue;
|
| + /// Does the element need a new rendering cycle.
|
| + bool get isDirty => _dirty;
|
| + /// Is the scheduler enabled.
|
| + bool get isEnabled => _enabled;
|
|
|
| final StreamController<RenderedEvent<T>> _onRendered =
|
| - new StreamController<RenderedEvent<T>>.broadcast();
|
| + new StreamController<RenderedEvent<T>>.broadcast();
|
| Stream<RenderedEvent<T>> get onRendered => _onRendered.stream;
|
|
|
| /// Creates a new scheduler for an element.
|
|
|