fix(egui): rename "Properties" to "Preferences"

I managed to conflate these two because both start with "Pr".
This commit is contained in:
Mikolaj Wielgus 2024-10-17 23:39:00 +02:00
parent 1b53bce353
commit 1638a289ed
2 changed files with 9 additions and 6 deletions

View File

@ -2,6 +2,9 @@
tr-menu-debug = Debug
tr-menu-properties = Properties
tr-menu-properties-set-language = Set Language
##
tr-menu-file = File
@ -53,8 +56,8 @@ tr-menu-inspect = Inspect
tr-menu-inspect-compare-detours = Compare Detours
tr-menu-inspect-measure-length = Measure Length
tr-menu-properties = Properties
tr-menu-properties-set-language = Set Language
tr-menu-preferences = Preferences
tr-menu-preferences-set-language = Set Language
tr-dialog-error-messages = Error Messages
tr-dialog-error-messages-reset = Reset Messages

View File

@ -169,7 +169,7 @@ impl MenuBar {
});
});
self.update_properties_menu(ctx, ui, tr);
self.update_preferences_menu(ctx, ui, tr);
ui.menu_button(tr.text("tr-menu-help"), |ui| {
actions.help.online_documentation.hyperlink(
@ -365,14 +365,14 @@ impl MenuBar {
});
}
pub fn update_properties_menu(
pub fn update_preferences_menu(
&mut self,
ctx: &egui::Context,
ui: &mut egui::Ui,
tr: &mut Translator,
) {
ui.menu_button(tr.text("tr-menu-properties"), |ui| {
ui.menu_button(tr.text("tr-menu-properties-set-language"), |ui| {
ui.menu_button(tr.text("tr-menu-preferences"), |ui| {
ui.menu_button(tr.text("tr-menu-preferences-set-language"), |ui| {
let mut display_names_options: DisplayNamesOptions = Default::default();
display_names_options.fallback = Fallback::None;