diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-09 09:19:57 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-09 09:19:57 +0100 |
| commit | 9065639aaa129e309beb80fa5dc0b313461a90f4 (patch) | |
| tree | 4ed1c4626406892c1bf4affa852b75f659ef4a69 /inst/GUI | |
| parent | 863b22f40cf81a9ec7271cb4d0fe32e3875f9f42 (diff) | |
Update project explorer selection after confirmation of project switch
When changes of a modified project were dropped during switching a
project, the selection in the project explorer was not updated.
Diffstat (limited to 'inst/GUI')
| -rw-r--r-- | inst/GUI/gmkin.R | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/inst/GUI/gmkin.R b/inst/GUI/gmkin.R index 2028fbc..ad52839 100644 --- a/inst/GUI/gmkin.R +++ b/inst/GUI/gmkin.R @@ -201,6 +201,7 @@ p.switcher <- function(h, ...) { p.loaded <<- p.cur
project_switched <- TRUE
p.modified <<- FALSE
+ svalue(p.gtable) <<- p.cur
}
if (p.modified) {
gconfirm("When you switch projects, you loose any unsaved changes. Proceed to switch?",
|