blob: 735135324bba078c9b5839df6bfe3a942f1b468f [file] [log] [blame]
// Copyright 2019 The Flutter team. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
// Only put constants shared between files here.
// height of the 'Gallery' header
const double galleryHeaderHeight = 64;
// The font size delta for headline4 font.
const double desktopDisplay1FontDelta = 16;
// The width of the settingsDesktop.
const double desktopSettingsWidth = 520;
// Sentinel value for the system text scale factor option.
const double systemTextScaleFactorOption = -1;
// The splash page animation duration.
const splashPageAnimationDurationInMilliseconds = 300;
// The desktop top padding for a page's first header (e.g. Gallery, Settings)
const firstHeaderDesktopTopPadding = 5.0;