save RGA ids and keep position after RGA changes #144

Open

bot

opened

on Oct 24, 2019

ron/demo/text-editor-brick/Main.hs

Lines 147 to 148 in ea4420a

    
           -- TODO save RGA ids and keep position after RGA changes 
        
           replaceZipper :: Text -> TextZipper Text -> TextZipper Text

Found on master

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests