diff --git a/dub.json b/dub.json index 026d787..046cbf6 100644 --- a/dub.json +++ b/dub.json @@ -12,7 +12,7 @@ "stringImportPaths": ["views", "views/res", "views/res/i18n", "views/res/mdpi", "views/res/hdpi"], "dependencies": { - "dlangui": "==0.9.99", + "dlangui": "==0.9.101", "dcd": "~>0.9.1" }, diff --git a/src/dlangide/ui/frame.d b/src/dlangide/ui/frame.d index 3d0a640..6c2ac1c 100644 --- a/src/dlangide/ui/frame.d +++ b/src/dlangide/ui/frame.d @@ -1370,8 +1370,10 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL currentTheme.fontSize = settings.uiFontSize; needUpdateTheme = true; } - if (needUpdateTheme) + if (needUpdateTheme) { + Log.d("updating theme after UI font change"); Platform.instance.onThemeChanged(); + } requestLayout(); } diff --git a/src/dlangide/ui/settings.d b/src/dlangide/ui/settings.d index ee7aa42..6abacc5 100644 --- a/src/dlangide/ui/settings.d +++ b/src/dlangide/ui/settings.d @@ -65,10 +65,6 @@ SettingsPage createSettingsPages() { // Root page SettingsPage res = new SettingsPage("", UIString.fromRaw(""d)); - // Common page - SettingsPage common = res.addChild("common", UIString.fromId("OPTION_COMMON"c)); - common.addCheckbox("common/autoOpenLastProject", UIString.fromId("OPTION_AUTO_OPEN_LAST_PROJECT"c)); - // UI settings page SettingsPage ui = res.addChild("interface", UIString.fromId("OPTION_INTERFACE"c)); ui.addStringComboBox("interface/theme", UIString.fromId("OPTION_THEME"c), [ @@ -134,6 +130,10 @@ SettingsPage createSettingsPages() { texted.addCheckbox("editors/textEditor/showWhiteSpaceMarks", UIString.fromId("OPTION_SHOW_SPACES"c)); texted.addCheckbox("editors/textEditor/showTabPositionMarks", UIString.fromId("OPTION_SHOW_TABS"c)); + // Common page + SettingsPage common = res.addChild("common", UIString.fromId("OPTION_COMMON"c)); + common.addCheckbox("common/autoOpenLastProject", UIString.fromId("OPTION_AUTO_OPEN_LAST_PROJECT"c)); + SettingsPage dlang = res.addChild("dlang", UIString.fromRaw("D"d)); SettingsPage dub = dlang.addChild("dlang/dub", UIString.fromRaw("DUB"d)); diff --git a/views/VERSION b/views/VERSION index 7114f72..fff8e6b 100644 --- a/views/VERSION +++ b/views/VERSION @@ -1 +1 @@ -v0.7.52 \ No newline at end of file +v0.7.53 \ No newline at end of file