Gitea
/
git-touch-android-ios-app
mirror of https://github.com/git-touch/git-touch
1
0
Fork 0
Code Issues Releases Wiki Activity

chore: default font

This commit is contained in:
Rongjian Zhang 2020-01-27 14:57:30 +08:00
parent f757c748ea
commit ba612d63ad
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/models/code.dart
View File

@ -9,19 +9,19 @@ class CodeModel with ChangeNotifier {
static const fontSizes = [12, 13, 14, 15, 16, 17, 18, 19, 20]; static const fontSizes = [12, 13, 14, 15, 16, 17, 18, 19, 20];
static const fontFamilies = [ static const fontFamilies = [
'System', 'System',
'JetBrains Mono',
'Fira Code', 'Fira Code',
'Inconsolata', 'Inconsolata',
'PT Mono', 'PT Mono',
'Source Code Pro', 'Source Code Pro',
'Ubuntu Mono', 'Ubuntu Mono',
'Cascadia Code', 'Cascadia Code',
'JetBrains Mono',
]; ];
String _theme = 'tomorrow'; String _theme = 'tomorrow';
String _themeDark = 'tomorrow-night'; String _themeDark = 'tomorrow-night';
int _fontSize = 14; int _fontSize = 14;
String _fontFamily = 'System'; String _fontFamily = 'JetBrains Mono';
String get theme => _theme; String get theme => _theme;
String get themeDark => _themeDark; String get themeDark => _themeDark;