aboutsummaryrefslogtreecommitdiff
path: root/inst/GUI
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-11-09 18:52:46 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2015-11-09 18:52:46 +0100
commit1b91170736f02445cd86c896c9cb6fefe8af45af (patch)
tree8e76e96e2cecbe0a6245136538e21b8528609b71 /inst/GUI
parent85324857cccb01bfd41bf83d415d37c4df4b76f4 (diff)
Do not minimize project explorer, fix bug in project switcher
Diffstat (limited to 'inst/GUI')
-rw-r--r--inst/GUI/gmkin.R2
1 files changed, 0 insertions, 2 deletions
diff --git a/inst/GUI/gmkin.R b/inst/GUI/gmkin.R
index 74d27c3..0054a72 100644
--- a/inst/GUI/gmkin.R
+++ b/inst/GUI/gmkin.R
@@ -192,9 +192,7 @@ p.switcher <- function(h, ...) {
update_f.df()
p.loaded <<- p.cur
project_switched <- TRUE
- p.gtable$set_index(p.cur)
p.modified <<- FALSE
- visible(p.gf) <- FALSE
}
if (p.modified) {
gconfirm("When you switch projects, you loose any unsaved changes. Proceed to switch?",

Contact - Imprint