diff --git a/src/ide/ui.ts b/src/ide/ui.ts
index cc943fa4..beaef5e5 100644
--- a/src/ide/ui.ts
+++ b/src/ide/ui.ts
@@ -909,13 +909,15 @@ function hideDebugInfo() {
function showDebugInfo(state?) {
if (!isDebuggable(platform)) return;
var meminfo = $("#mem_info");
+ var meminfomsg = $("#mem_info_msg");
var allcats = platform.getDebugCategories();
if (allcats && !debugCategory)
debugCategory = allcats[0];
var s = state && platform.getDebugInfo(debugCategory, state);
if (s) {
var hs = lastDebugInfo ? highlightDifferences(lastDebugInfo, s) : s;
- meminfo.show().html(hs);
+ meminfo.show();
+ meminfomsg.html(hs);
var catspan = $('
');
var addCategoryLink = (cat:string) => {
var catlink = $(''+cat+'');
@@ -932,8 +934,8 @@ function showDebugInfo(state?) {
for (var cat of allcats) {
addCategoryLink(cat);
}
- meminfo.append(' ');
- meminfo.append(catspan);
+ meminfomsg.append(' ');
+ meminfomsg.append(catspan);
lastDebugInfo = s;
} else {
hideDebugInfo();