mirror of https://github.com/buggins/dlangide.git
fix #350
This commit is contained in:
parent
1e63d6f1bc
commit
4487e2cc55
2
dub.json
2
dub.json
|
@ -12,7 +12,7 @@
|
||||||
"stringImportPaths": ["views"],
|
"stringImportPaths": ["views"],
|
||||||
|
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"dlangui": "==0.9.162",
|
"dlangui": "==0.9.166",
|
||||||
"dsymbol": "~>0.2.9",
|
"dsymbol": "~>0.2.9",
|
||||||
"dcd": "~>0.9.1"
|
"dcd": "~>0.9.1"
|
||||||
},
|
},
|
||||||
|
|
|
@ -1644,9 +1644,6 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
|
||||||
needUpdateTheme = true;
|
needUpdateTheme = true;
|
||||||
}
|
}
|
||||||
if (needUpdateTheme) {
|
if (needUpdateTheme) {
|
||||||
drawableCache.clear();
|
|
||||||
imageCache.checkpoint();
|
|
||||||
imageCache.cleanup();
|
|
||||||
Log.d("updating theme after UI font change");
|
Log.d("updating theme after UI font change");
|
||||||
Platform.instance.onThemeChanged();
|
Platform.instance.onThemeChanged();
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue