- Small fix for the sake of code correctness

git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@1037 3ecf2c5c-341e-0410-92b4-d18e462d057c

src/jump_to_dialog.cc

@@ -84,13 +84,14 @@ JumpToDialog::_on_jump()
   History&    h   = sim.get_history();
 
   sim.attach(*this);
-  h.set_notify_enabled(false);
+  bool reenable = h.is_notify_enabled();
   try
     {
     if(_target_instant < h.get_size() - 1)
       sim.jump_to(_target_instant);
     else
       sim.jump_to(h.get_size() - 1);
+      h.set_notify_enabled(false);
       while(h.get_front() < _target_instant)
         {
           sim.run();
@@ -102,7 +103,7 @@ JumpToDialog::_on_jump()
     {
     // FIXME: correctly manage exceptions!
     }
-  h.set_notify_enabled(true);
+  h.set_notify_enabled(reenable);
   sim.detach(*this);
 
   _ok_button->set_sensitive(true);