{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/214","labels_url":"https://api.github.com/repos/gap-system/gap/issues/214/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/214/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/214/events","html_url":"https://github.com/gap-system/gap/pull/214","id":106592025,"number":214,"title":"Improve how readline history deals with multiline input","user":{"login":"fingolfin","id":241512,"avatar_url":"https://avatars.githubusercontent.com/u/241512?v=3","gravatar_id":"","url":"https://api.github.com/users/fingolfin","html_url":"https://github.com/fingolfin","followers_url":"https://api.github.com/users/fingolfin/followers","following_url":"https://api.github.com/users/fingolfin/following{/other_user}","gists_url":"https://api.github.com/users/fingolfin/gists{/gist_id}","starred_url":"https://api.github.com/users/fingolfin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fingolfin/subscriptions","organizations_url":"https://api.github.com/users/fingolfin/orgs","repos_url":"https://api.github.com/users/fingolfin/repos","events_url":"https://api.github.com/users/fingolfin/events{/privacy}","received_events_url":"https://api.github.com/users/fingolfin/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-09-15T16:18:02Z","updated_at":"2015-09-15T17:09:54Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/214","html_url":"https://github.com/gap-system/gap/pull/214","diff_url":"https://github.com/gap-system/gap/pull/214.diff","patch_url":"https://github.com/gap-system/gap/pull/214.patch"},"body":"This tweaks the way GAP deals with multiline input (at least when using readline -- I did not (yet?) test what happens if readline is disabled). Previously, when you e.g. pasted a function like this:\r\n```\r\nf := function(x)\r\n  return x+1;\r\nend;\r\n```\r\nthen afterwards pressing arrow-up showed you three individual lines of input.\r\n\r\nWith this patch, arrow up gives\r\n```\r\ngap> f := function(x) return x+1; end;\r\n```"},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/140466392","html_url":"https://github.com/gap-system/gap/pull/214#issuecomment-140466392","issue_url":"https://api.github.com/repos/gap-system/gap/issues/214","id":140466392,"user":{"login":"alex-konovalov","id":5751387,"avatar_url":"https://avatars.githubusercontent.com/u/5751387?v=3","gravatar_id":"","url":"https://api.github.com/users/alex-konovalov","html_url":"https://github.com/alex-konovalov","followers_url":"https://api.github.com/users/alex-konovalov/followers","following_url":"https://api.github.com/users/alex-konovalov/following{/other_user}","gists_url":"https://api.github.com/users/alex-konovalov/gists{/gist_id}","starred_url":"https://api.github.com/users/alex-konovalov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alex-konovalov/subscriptions","organizations_url":"https://api.github.com/users/alex-konovalov/orgs","repos_url":"https://api.github.com/users/alex-konovalov/repos","events_url":"https://api.github.com/users/alex-konovalov/events{/privacy}","received_events_url":"https://api.github.com/users/alex-konovalov/received_events","type":"User","site_admin":false},"created_at":"2015-09-15T17:09:54Z","updated_at":"2015-09-15T17:09:54Z","body":"Looks like a nice feature. How would a longer function be formatted though? Is there a parameter like max. length of the string to control this, or should this be a behavior triggered by some user preference? Just some questions to throw into discussion."}}