Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(505)

Unified Diff: lib/html/doc/interface/MediaController.dartdoc

Issue 11090010: Remove explicit interface versions of dartdoc files. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « lib/html/doc/interface/MarqueeElement.dartdoc ('k') | lib/html/doc/interface/MediaElement.dartdoc » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: lib/html/doc/interface/MediaController.dartdoc
diff --git a/lib/html/doc/interface/MediaController.dartdoc b/lib/html/doc/interface/MediaController.dartdoc
deleted file mode 100644
index 838689c2601de81aff68d7c0eb3276b415164bc1..0000000000000000000000000000000000000000
--- a/lib/html/doc/interface/MediaController.dartdoc
+++ /dev/null
@@ -1,58 +0,0 @@
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-// WARNING:
-// This file contains documentation that is merged into the real source.
-// Do not make code changes here.
-
-/// @domName MediaController
-interface MediaController extends EventTarget default _MediaControllerFactoryProvider {
-
- MediaController();
-
- /** @domName MediaController.buffered */
- final TimeRanges buffered;
-
- /** @domName MediaController.currentTime */
- num currentTime;
-
- /** @domName MediaController.defaultPlaybackRate */
- num defaultPlaybackRate;
-
- /** @domName MediaController.duration */
- final num duration;
-
- /** @domName MediaController.muted */
- bool muted;
-
- /** @domName MediaController.paused */
- final bool paused;
-
- /** @domName MediaController.playbackRate */
- num playbackRate;
-
- /** @domName MediaController.played */
- final TimeRanges played;
-
- /** @domName MediaController.seekable */
- final TimeRanges seekable;
-
- /** @domName MediaController.volume */
- num volume;
-
- /** @domName MediaController.addEventListener */
- void $dom_addEventListener(String type, EventListener listener, [bool useCapture]);
-
- /** @domName MediaController.dispatchEvent */
- bool $dom_dispatchEvent(Event evt);
-
- /** @domName MediaController.pause */
- void pause();
-
- /** @domName MediaController.play */
- void play();
-
- /** @domName MediaController.removeEventListener */
- void $dom_removeEventListener(String type, EventListener listener, [bool useCapture]);
-}
« no previous file with comments | « lib/html/doc/interface/MarqueeElement.dartdoc ('k') | lib/html/doc/interface/MediaElement.dartdoc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698