// Copyright 2014 The Flutter Authors. All rights reserved.// Use of this source code is governed by a BSD-style license that can be// found in the LICENSE file.import'package:flutter/painting.dart';voidmain(){// Change made in https://github.com/flutter/flutter/pull/121152finalEdgeInsetsinsets=EdgeInsets.fromWindowPadding(ViewPadding.zero,3.0);}