anchor.diff:    landscape
   }
   
  -/// The result of a media query.
  +/// Information about a piece of media (e.g., a window).
  +///
  +/// For example, the [MediaQueryData.size] property contains the width and
  +/// height of the current window.
  +///
  +/// To obtain the current [MediaQueryData] for a given [BuildContext], use the
  +/// [MediaQuery.of] function. For example, to obtain the size of the current
  +/// window, use `MediaQuery.of(context).size`.
   class MediaQueryData {
     /// Creates data for a media query with explicit values.
     ///
  
positive.code: }
  
  /// Establishes a subtree in which media queries resolve to the given data.
  class MediaQuery extends InheritedWidget {
    /// Creates a widget that provides [MediaQueryData] to its descendants.
    ///
  
negative.code:     assert(data != null);
    }
  
    /// Contains information about the current media.
    ///
    /// For example, the [MediaQueryData.size] property contains the width and
    /// height of the current window.
    final MediaQueryData data;
  
    /// The data from the closest instance of this class that encloses the given context.
  