From 084c0b7b5970773d29d1d30a4cb426b8c715b88d Mon Sep 17 00:00:00 2001 From: Jerome St-Louis Date: Fri, 30 Aug 2013 00:11:29 -0400 Subject: [PATCH 1/1] ide/valgrind: Fixed menus to reflect settings in effect when switching workspace --- ide/src/ide.ec | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/ide/src/ide.ec b/ide/src/ide.ec index 5953f6f..99de979 100644 --- a/ide/src/ide.ec +++ b/ide/src/ide.ec @@ -2284,6 +2284,27 @@ class IDEWorkSpace : Window workspace.timer.Start(); +#if !defined(__WIN32__) + // Valgrind Debug menu updates + debugUseValgrindItem.checked = workspace.useValgrind; + + debugValgrindNoLeakCheckItem.checked = workspace.vgLeakCheck == no; + debugValgrindSummaryLeakCheckItem.checked = workspace.vgLeakCheck == summary; + debugValgrindYesLeakCheckItem.checked = workspace.vgLeakCheck == yes; + debugValgrindFullLeakCheckItem.checked = workspace.vgLeakCheck == full; + + debugValgrindRSDefaultItem.checked = workspace.vgRedzoneSize == -1; + debugValgrindRS0Item.checked = workspace.vgRedzoneSize == 0; + debugValgrindRS16Item.checked = workspace.vgRedzoneSize == 16; + debugValgrindRS32Item.checked = workspace.vgRedzoneSize == 32; + debugValgrindRS64Item.checked = workspace.vgRedzoneSize == 64; + debugValgrindRS128Item.checked = workspace.vgRedzoneSize == 128; + debugValgrindRS256Item.checked = workspace.vgRedzoneSize == 256; + debugValgrindRS512Item.checked = workspace.vgRedzoneSize == 512; + + debugValgrindTrackOriginsItem.checked = workspace.vgTrackOrigins; +#endif + findInFilesDialog.mode = FindInFilesMode::project; findInFilesDialog.currentDirectory = ide.project.topNode.path; -- 1.8.3.1