{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/9596","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/9596/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/9596/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/9596/events","html_url":"https://github.com/JuliaLang/julia/pull/9596","id":53327802,"number":9596,"title":"REPL/LineEdit to support \"undo\": part of #8447","user":{"login":"srp","id":52490,"avatar_url":"https://avatars.githubusercontent.com/u/52490?v=3","gravatar_id":"","url":"https://api.github.com/users/srp","html_url":"https://github.com/srp","followers_url":"https://api.github.com/users/srp/followers","following_url":"https://api.github.com/users/srp/following{/other_user}","gists_url":"https://api.github.com/users/srp/gists{/gist_id}","starred_url":"https://api.github.com/users/srp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/srp/subscriptions","organizations_url":"https://api.github.com/users/srp/orgs","repos_url":"https://api.github.com/users/srp/repos","events_url":"https://api.github.com/users/srp/events{/privacy}","received_events_url":"https://api.github.com/users/srp/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/JuliaLang/julia/labels/REPL","name":"REPL","color":"c7def8"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-01-04T06:51:10Z","updated_at":"2015-01-05T08:16:50Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/JuliaLang/julia/pulls/9596","html_url":"https://github.com/JuliaLang/julia/pull/9596","diff_url":"https://github.com/JuliaLang/julia/pull/9596.diff","patch_url":"https://github.com/JuliaLang/julia/pull/9596.patch"},"body":"The REPL now supports undo via Ctrl-^ or Ctrl-_.\r\n\r\nThis should very closely minic the behavior of other readline/emacs\r\nshells, except it doesn't let the user goto a historical entry (A),\r\nedit it, goto a different historical entry (B), return to the first\r\n(A) and undo the edits."},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/68678803","html_url":"https://github.com/JuliaLang/julia/pull/9596#issuecomment-68678803","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/9596","id":68678803,"user":{"login":"rfourquet","id":8462914,"avatar_url":"https://avatars.githubusercontent.com/u/8462914?v=3","gravatar_id":"","url":"https://api.github.com/users/rfourquet","html_url":"https://github.com/rfourquet","followers_url":"https://api.github.com/users/rfourquet/followers","following_url":"https://api.github.com/users/rfourquet/following{/other_user}","gists_url":"https://api.github.com/users/rfourquet/gists{/gist_id}","starred_url":"https://api.github.com/users/rfourquet/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rfourquet/subscriptions","organizations_url":"https://api.github.com/users/rfourquet/orgs","repos_url":"https://api.github.com/users/rfourquet/repos","events_url":"https://api.github.com/users/rfourquet/events{/privacy}","received_events_url":"https://api.github.com/users/rfourquet/received_events","type":"User","site_admin":false},"created_at":"2015-01-05T08:16:50Z","updated_at":"2015-01-05T08:16:50Z","body":"Thanks! I tested it and works fine. I don't know the LineEdit.jl code very well yet, but the patch looks good to me.\r\nWRT the limitation you mention in the commit: would it be difficult to eventually attach an `undo_buffers` vector to each history entry? (but it's maybe not worth the effort, I don't think I use this functionality in readline). \r\nThere is also another difference from readline, which packs together individual characters inserts (i.e. typing \"123\" and then undo removes those 3 characters), but I don't see this as a problem.\r\n"}}