Merge remote-tracking branch 'elegios/master'

This commit is contained in:
Maxime Coste 2015-08-31 00:02:59 +01:00
commit c603d39a20

View File

@ -127,6 +127,8 @@ const SelectionList& Context::jump_backward()
{
push_jump();
--m_current_jump;
if (m_current_jump == m_jump_list.begin())
throw runtime_error("no previous jump");
}
SelectionList& res = *--m_current_jump;
res.update();