Shows a launch spinner next to a sink once it is selected to create a route. The launch spinner sur…

chrome/browser/media/router/media_router.mojom

 // Copyright 2015 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 module media_router.interfaces;
 
 // Represents an output sink to which media can be routed.
 struct MediaSink {
   // The sink identifier, e.g. "rs71w7mFzYLFlabir_qO4NHl6SUc."
   string sink_id;
   // The human-readable name, e.g. "Janet's Chromecast".
   string name;
+  // True if a route is being created to this sink.
+  bool is_launching;
 };
 
 // Should be kept in sync with media_route.h.
 struct MediaRoute {
   // The ID of this media route, e.g. "r_PR1O_blkC9dsKp-tb1ti8qurOo".
   string media_route_id;
   // The ID of the media source being sent through this media route.
   // May be missing if route is not local.
   string? media_source;
   // The sink that is rendering the media content.
@@ skipping 157 matching lines @@
   // Called when the Media Route Manager receives a new list of sinks.
   OnSinksReceived(string media_source, array<MediaSink> sinks);
 
   // Called when issues are reported for media routes.
   OnIssue(Issue issue);
 
   // Called when list of routes has been updated.
   OnRoutesUpdated(array<MediaRoute> routes);
 };