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 | |
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')
-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?",
|