diff options
author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2006-04-19 20:03:11 +0200 |
---|---|---|
committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2006-04-19 20:03:11 +0200 |
commit | b9465e47a584e7febded8b0f6d14a967479c4fa4 (patch) | |
tree | 4458ee1cf74ea4627a526036d37351ffc8f12fcd /src/flpsed.cxx | |
parent | 388bb6d2cebd190e0912652dc970970c29615507 (diff) | |
parent | ce5117fe5d2bed8eeab9f96e9da72342c6e1ff47 (diff) |
merge
Diffstat (limited to 'src/flpsed.cxx')
-rw-r--r-- | src/flpsed.cxx | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/flpsed.cxx b/src/flpsed.cxx index 1492c5d..03f07ea 100644 --- a/src/flpsed.cxx +++ b/src/flpsed.cxx @@ -312,11 +312,12 @@ void zoom_cb(Fl_Widget *w, void *) { Fl_Menu_* mw = (Fl_Menu_*)w; const Fl_Menu_Item* m = mw->mvalue(); if (m) { - if (scroll) { - scroll->position(0,0); - } if (psed_p) { psed_p->zoom(atoi(m->label())); + if (scroll) { + scroll->position(0,0); + scroll->redraw(); + } } } } |