ide/valgrind: Fixed menus to reflect settings in effect when switching workspace
authorJerome St-Louis <jerome@ecere.com>
Fri, 30 Aug 2013 04:11:29 +0000 (00:11 -0400)
committerJerome St-Louis <jerome@ecere.com>
Fri, 30 Aug 2013 04:25:56 +0000 (00:25 -0400)
commit084c0b7b5970773d29d1d30a4cb426b8c715b88d
tree2e8184f2925375c409066ab32449578101932e08
parent922f1a1d4a70270ffecb04a607d0d3c3a4af1e87
ide/valgrind: Fixed menus to reflect settings in effect when switching workspace
ide/src/ide.ec