After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 315116 - Undo Manager does not manage markers
Undo Manager does not manage markers
Status: RESOLVED WONTFIX
Product: gtksourceview
Classification: Platform
Component: General
unspecified
Other All
: Normal normal
: ---
Assigned To: GTK Sourceview maintainers
GTK Sourceview maintainers
Depends on: 326622
Blocks:
 
 
Reported: 2005-09-02 13:24 UTC by Paolo Maggi
Modified: 2014-09-11 16:31 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Paolo Maggi 2005-09-02 13:24:26 UTC 
Undo Manager does not restore markers while undoing.
Comment 1 Sébastien Wilmet 2014-09-11 16:31:20 UTC 
The cursor position is restored, I think it's sufficient.