finished font family changing and sharing on client-side
This commit is contained in:
@@ -98,6 +98,7 @@ extension SettingsLocalization on String {
|
||||
"rename_teachers": "Rename Teachers",
|
||||
"show_breaks": "Show Breaks",
|
||||
"fonts": "Fonts",
|
||||
"font_family": "Font Family",
|
||||
},
|
||||
"hu_hu": {
|
||||
"personal_details": "Személyes információk",
|
||||
@@ -194,6 +195,7 @@ extension SettingsLocalization on String {
|
||||
"rename_teachers": "Tanárok átnevezése",
|
||||
"show_breaks": "Szünetek megjelenítése",
|
||||
"fonts": "Betűk",
|
||||
"font_family": "Betűtípus",
|
||||
},
|
||||
"de_de": {
|
||||
"personal_details": "Persönliche Angaben",
|
||||
@@ -290,6 +292,7 @@ extension SettingsLocalization on String {
|
||||
"rename_teachers": "Lehrer umbenennen",
|
||||
"show_breaks": "Pausen anzeigen",
|
||||
"fonts": "Schriftarten",
|
||||
"font_family": "Schriftfamilie",
|
||||
},
|
||||
};
|
||||
|
||||
|
||||
@@ -560,6 +560,9 @@ class PaintListScreenState extends State<PaintListScreen>
|
||||
store: true,
|
||||
);
|
||||
|
||||
// changing font family
|
||||
settingsProvider.update(fontFamily: newThemeByID!.fontFamily);
|
||||
|
||||
// seems weird but it works, trust me (idk why)
|
||||
await settingsProvider.update(theme: settingsProvider.theme, store: true);
|
||||
Provider.of<ThemeModeObserver>(context, listen: false)
|
||||
|
||||
@@ -802,7 +802,7 @@ class PersonalizeSettingsScreenState extends State<PersonalizeSettingsScreen>
|
||||
),
|
||||
),
|
||||
leading: Icon(
|
||||
FeatherIcons.globe,
|
||||
FeatherIcons.type,
|
||||
size: 22.0,
|
||||
color: AppColors.of(context).text.withOpacity(.95),
|
||||
),
|
||||
|
||||
Reference in New Issue
Block a user