diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2006-04-02 14:07:27 +0200 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2006-04-02 14:07:27 +0200 |
| commit | ce5117fe5d2bed8eeab9f96e9da72342c6e1ff47 (patch) | |
| tree | 9faa88e70adc96f87fff247e831753358f5442d5 /src/flpsed.cxx | |
| parent | 072242fe2533f02c001a0e9a94bdd833506a3efe (diff) | |
fix scroll bar redraw problem after zoom
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(); + } } } } |