diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 18:52:46 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 18:52:46 +0100 |
| commit | 1b91170736f02445cd86c896c9cb6fefe8af45af (patch) | |
| tree | 8e76e96e2cecbe0a6245136538e21b8528609b71 /inst/GUI | |
| parent | 85324857cccb01bfd41bf83d415d37c4df4b76f4 (diff) | |
Do not minimize project explorer, fix bug in project switcher
Diffstat (limited to 'inst/GUI')
| -rw-r--r-- | inst/GUI/gmkin.R | 2 |
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?",
|