fix: font issue on linux.

This commit is contained in:
2022-02-08 18:04:14 +08:00
parent 8a0fc5e196
commit 7da5790eb2
5 changed files with 91 additions and 95 deletions
+3 -2
View File
@@ -18,11 +18,11 @@ var darkTheme = _darkTheme.copyWith(
textTheme: _darkTheme.textTheme.copyWith(
headline1: TextStyle(
color: Color(0xffc0c6d4),
fontFamilyFallback: kIsWeb ? null : [defaultFontFamily],
fontFamily: kIsWeb ? null : defaultFontFamily,
),
bodyText2: TextStyle(
color: Color(0xffc0c6d4),
fontFamilyFallback: kIsWeb ? null : [defaultFontFamily],
fontFamily: kIsWeb ? null : defaultFontFamily,
),
),
popupMenuTheme: _darkTheme.popupMenuTheme.copyWith(
@@ -34,6 +34,7 @@ var darkTheme = _darkTheme.copyWith(
tooltipTheme: _darkTheme.tooltipTheme.copyWith(
textStyle: TextStyle(
color: Colors.grey,
fontFamily: kIsWeb ? null : defaultFontFamily,
),
padding: EdgeInsets.symmetric(horizontal: 3, vertical: 2),
decoration: BoxDecoration(
+3 -2
View File
@@ -18,11 +18,11 @@ var lightTheme = _lightTheme.copyWith(
textTheme: _lightTheme.textTheme.copyWith(
headline1: TextStyle(
color: Color(0xff414d68),
fontFamilyFallback: kIsWeb ? null : [defaultFontFamily],
fontFamily: kIsWeb ? null : defaultFontFamily,
),
bodyText2: TextStyle(
color: Color(0xff414d68),
fontFamilyFallback: kIsWeb ? null : [defaultFontFamily],
fontFamily: kIsWeb ? null : defaultFontFamily,
),
),
popupMenuTheme: _lightTheme.popupMenuTheme.copyWith(
@@ -34,6 +34,7 @@ var lightTheme = _lightTheme.copyWith(
tooltipTheme: _lightTheme.tooltipTheme.copyWith(
textStyle: TextStyle(
color: Colors.grey.shade600,
fontFamily: kIsWeb ? null : defaultFontFamily,
),
padding: EdgeInsets.symmetric(horizontal: 3, vertical: 2),
decoration: BoxDecoration(