2022-11-22 00:01:58 +01:00
|
|
|
Index: VirtualBox-7.0.4/src/VBox/Frontends/VirtualBox/src/settings/UISettingsDialogSpecific.cpp
|
2016-07-26 18:15:55 +02:00
|
|
|
===================================================================
|
2022-11-22 00:01:58 +01:00
|
|
|
--- VirtualBox-7.0.4.orig/src/VBox/Frontends/VirtualBox/src/settings/UISettingsDialogSpecific.cpp
|
|
|
|
+++ VirtualBox-7.0.4/src/VBox/Frontends/VirtualBox/src/settings/UISettingsDialogSpecific.cpp
|
|
|
|
@@ -98,8 +98,6 @@ void UISettingsDialogGlobal::retranslate
|
2019-01-28 21:37:13 +01:00
|
|
|
m_pSelector->setItemText(GlobalSettingsPageType_Input, tr("Input"));
|
|
|
|
|
|
|
|
#ifdef VBOX_GUI_WITH_NETWORK_MANAGER
|
|
|
|
- /* Update page: */
|
|
|
|
- m_pSelector->setItemText(GlobalSettingsPageType_Update, tr("Update"));
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* Language page: */
|
2022-12-26 18:18:51 +01:00
|
|
|
@@ -224,17 +222,6 @@ void UISettingsDialogGlobal::prepare()
|
2022-11-18 22:49:33 +01:00
|
|
|
addPageHelpKeyword(iPageIndex, "preferences");
|
2011-01-17 13:39:27 +01:00
|
|
|
break;
|
|
|
|
}
|
2015-07-11 13:43:54 +02:00
|
|
|
-#ifdef VBOX_GUI_WITH_NETWORK_MANAGER
|
2011-01-17 13:39:27 +01:00
|
|
|
- /* Update page: */
|
2013-07-24 12:57:58 +02:00
|
|
|
- case GlobalSettingsPageType_Update:
|
2011-01-17 13:39:27 +01:00
|
|
|
- {
|
2011-07-21 12:51:05 +02:00
|
|
|
- pSettingsPage = new UIGlobalSettingsUpdate;
|
2015-07-11 13:43:54 +02:00
|
|
|
- addItem(":/refresh_32px.png", ":/refresh_24px.png", ":/refresh_16px.png",
|
2011-07-21 12:51:05 +02:00
|
|
|
- iPageIndex, "#update", pSettingsPage);
|
2022-12-26 18:18:51 +01:00
|
|
|
- addPageHelpKeyword(iPageIndex, "preferences");
|
2011-01-17 13:39:27 +01:00
|
|
|
- break;
|
|
|
|
- }
|
2015-07-11 13:43:54 +02:00
|
|
|
-#endif /* VBOX_GUI_WITH_NETWORK_MANAGER */
|
2011-01-17 13:39:27 +01:00
|
|
|
/* Language page: */
|
2013-07-24 12:57:58 +02:00
|
|
|
case GlobalSettingsPageType_Language:
|
2015-07-11 13:43:54 +02:00
|
|
|
{
|