Erik Faye-Lund b1d3320415 editor: fix border-case when finding prev bookmark
A typo made the finding of the previous bookmark when the current
row is located after the last bookmark to fail. Fix this by
replacing a call to std::set<int>::rend() with a call to
std::set<int>::rbegin().
2012-04-16 18:42:27 +02:00
..
2010-09-05 15:37:54 +02:00
2010-11-17 23:18:42 +01:00
2012-04-10 18:38:19 +02:00
2010-11-17 23:18:42 +01:00
2010-11-02 18:58:13 +01:00
2012-04-10 19:52:13 +02:00