sourceview: bgo#680770 - Don't scroll undo position to center if line already visible
commita8f1ac8d8d41da75d83dabefb84ab16ea8621bb3
authorJohannes Schmid <jhs@gnome.org>
Tue, 26 Mar 2013 18:35:24 +0000 (26 19:35 +0100)
committerJohannes Schmid <jhs@gnome.org>
Tue, 26 Mar 2013 18:35:24 +0000 (26 19:35 +0100)
tree1fe4da311b0005ac902ac3c8df78a8a90ee67fdc
parent1e973a4a4f3701130aafe3c3b563bc63182f0f7b
sourceview: bgo#680770 - Don't scroll undo position to center if line already visible
plugins/sourceview/anjuta-view.c
plugins/sourceview/sourceview.c