ide; implemented when adding project to workspace, use selected config if available...
authorRejean Loyer <rejean.loyer@gmail.com>
Mon, 6 May 2013 23:11:00 +0000 (19:11 -0400)
committerRejean Loyer <rejean.loyer@gmail.com>
Mon, 20 May 2013 20:58:12 +0000 (16:58 -0400)
commitebd22a37597eb8b213a52e11698379bc86efeff1
treec897631417c650670cd2327060bd014fb3f8f054
parentd296d8d44be5819802910aca7e5bf0f7b2a6e36f
ide; implemented when adding project to workspace, use selected config if available. also fixed active config selection options are not updated when removing a project from the workspace. closes #799 and #896.
ide/src/ide.ec
ide/src/project/Workspace.ec