| commit | 5728cc2cb6f587bbe9c86c1a0d779e6ad03e794b | |
| author | Carl-Anton Ingmarsson <ca.ingmarsson@gmail.com> | |
| Wed, 3 Oct 2012 23:01:04 +0000 (4 01:01 +0200) | ||
| committer | Johannes Schmid <jhs@gnome.org> | |
| Wed, 31 Oct 2012 10:58:52 +0000 (31 11:58 +0100) | ||
| tree | 7de3dee44cee04e69087821007d559deef2d79e9 | treesnapshot (tar.gz zip) |
| parent | 23d9e9af61990dd92fe0ab9e61c601a8f74d148e | commitdiff |
sourceview: don't emit change events after doing an undo
This fixes an issue where the indentation plugin would do stuff based on the inserted text from
the undo. This would in turn break the expectation that the text will be the same as it were
after the undo.
https://bugzilla.gnome.org/show_bug.cgi?id=687216
This fixes an issue where the indentation plugin would do stuff based on the inserted text from
the undo. This would in turn break the expectation that the text will be the same as it were
after the undo.
https://bugzilla.gnome.org/show_bug.cgi?id=687216
| plugins/sourceview/sourceview.c | diffblobblamehistory |