This site has been retired. For up to date information, see handbook.gnome.org or gitlab.gnome.org.


[Home] [TitleIndex] [WordIndex

Global Navigation

Status

{o} Needs design

{*} Design in progress

{*} Needs implementation

{*} Implementation in progress

{o} Stable

Goals

Implementation

You can find the current implementation at

Todo

Currently, we only push an edit point onto the stack when we save the document. We should probably be a bit more aggressive here and add it any time we jump more than say 20 lines in the editor.


2024-10-23 10:58