{"action":"created","comment":{"url":"https://api.github.com/repos/gap-system/gap/pulls/comments/91298090","pull_request_review_id":11802806,"id":91298090,"diff_hunk":"@@ -705,6 +705,21 @@ DeclareUserPreference( rec(\n   check:= val -> IsInt( val ) and 0 <= val,\n   ) );\n \n+DeclareUserPreference( rec(\n+  name := \"Autocompleter\",\n+  description := [\n+                   \"Set how names are filtered during tab-autocomplete, \\\n+this can be: \\\"default\\\": case-sensitive matching. \\\"case-insensitive\\\": \\\n+case-insensitive matching, or a record of two functions, each of which take \\\n+two arguments. 'filter' takes a list of names and a partial identifier and returns \\","path":"lib/init.g","position":10,"original_position":10,"commit_id":"b7aae2af68838f915fbc0c7adb03ebef3d929193","original_commit_id":"b7aae2af68838f915fbc0c7adb03ebef3d929193","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},"body":"Maybe clarify what `filter` is, namely the name of a record component? So:\r\n`or a record with two components named 'filter' and 'completer' which both must be set to functions: 'filter' takes...`","created_at":"2016-12-07T14:03:15Z","updated_at":"2016-12-07T14:03:15Z","html_url":"https://github.com/gap-system/gap/pull/928#discussion_r91298090","pull_request_url":"https://api.github.com/repos/gap-system/gap/pulls/928","_links":{"self":{"href":"https://api.github.com/repos/gap-system/gap/pulls/comments/91298090"},"html":{"href":"https://github.com/gap-system/gap/pull/928#discussion_r91298090"},"pull_request":{"href":"https://api.github.com/repos/gap-system/gap/pulls/928"}}},"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/928","id":91276534,"html_url":"https://github.com/gap-system/gap/pull/928","diff_url":"https://github.com/gap-system/gap/pull/928.diff","patch_url":"https://github.com/gap-system/gap/pull/928.patch","issue_url":"https://api.github.com/repos/gap-system/gap/issues/928","number":928,"state":"open","locked":false,"title":"Add case-insensitive autocomplete","user":{"login":"ChrisJefferson","id":811527,"avatar_url":"https://avatars.githubusercontent.com/u/811527?v=3","gravatar_id":"","url":"https://api.github.com/users/ChrisJefferson","html_url":"https://github.com/ChrisJefferson","followers_url":"https://api.github.com/users/ChrisJefferson/followers","following_url":"https://api.github.com/users/ChrisJefferson/following{/other_user}","gists_url":"https://api.github.com/users/ChrisJefferson/gists{/gist_id}","starred_url":"https://api.github.com/users/ChrisJefferson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChrisJefferson/subscriptions","organizations_url":"https://api.github.com/users/ChrisJefferson/orgs","repos_url":"https://api.github.com/users/ChrisJefferson/repos","events_url":"https://api.github.com/users/ChrisJefferson/events{/privacy}","received_events_url":"https://api.github.com/users/ChrisJefferson/received_events","type":"User","site_admin":false},"body":"Please make sure that this pull request:\n- [ ] is submitted to the correct branch (the stable branch is only for bugfixes)\n- [ ] contains an accurate description of changes for the release notes below\n- [ ] provides new tests or relies on existing ones\n- [ ] correctly refers to other issues and related pull requests\n### Tick all what applies to this pull request\n- [X ] Adds new features\n- [ X] Improves and extends functionality\n### Write below the description of changes (for the release notes)\n\nAdds a new configuration option `Autocompleter`, which chooses how GAP filters when tab-completing words. Adds an option `case-insensitive` which does case-insensitive matching, and also allows an arbitrary function to be used.\n","created_at":"2016-10-27T20:41:05Z","updated_at":"2016-12-07T14:04:36Z","closed_at":null,"merged_at":null,"merge_commit_sha":"01875182f4fea4e7f95fe255eb677a38c15e8512","assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/gap-system/gap/milestones/4","html_url":"https://github.com/gap-system/gap/milestones/GAP%204.9.0","labels_url":"https://api.github.com/repos/gap-system/gap/milestones/4/labels","id":1171282,"number":4,"title":"GAP 4.9.0","description":"Beta release of GAP 4.9","creator":{"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},"open_issues":29,"closed_issues":56,"state":"open","created_at":"2015-06-18T19:39:58Z","updated_at":"2016-12-07T13:41:19Z","due_on":"2017-01-29T00:00:00Z","closed_at":null},"commits_url":"https://api.github.com/repos/gap-system/gap/pulls/928/commits","review_comments_url":"https://api.github.com/repos/gap-system/gap/pulls/928/comments","review_comment_url":"https://api.github.com/repos/gap-system/gap/pulls/comments{/number}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/928/comments","statuses_url":"https://api.github.com/repos/gap-system/gap/statuses/b7aae2af68838f915fbc0c7adb03ebef3d929193","head":{"label":"ChrisJefferson:autocomplete","ref":"autocomplete","sha":"b7aae2af68838f915fbc0c7adb03ebef3d929193","user":{"login":"ChrisJefferson","id":811527,"avatar_url":"https://avatars.githubusercontent.com/u/811527?v=3","gravatar_id":"","url":"https://api.github.com/users/ChrisJefferson","html_url":"https://github.com/ChrisJefferson","followers_url":"https://api.github.com/users/ChrisJefferson/followers","following_url":"https://api.github.com/users/ChrisJefferson/following{/other_user}","gists_url":"https://api.github.com/users/ChrisJefferson/gists{/gist_id}","starred_url":"https://api.github.com/users/ChrisJefferson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChrisJefferson/subscriptions","organizations_url":"https://api.github.com/users/ChrisJefferson/orgs","repos_url":"https://api.github.com/users/ChrisJefferson/repos","events_url":"https://api.github.com/users/ChrisJefferson/events{/privacy}","received_events_url":"https://api.github.com/users/ChrisJefferson/received_events","type":"User","site_admin":false},"repo":{"id":31462738,"name":"gap","full_name":"ChrisJefferson/gap","owner":{"login":"ChrisJefferson","id":811527,"avatar_url":"https://avatars.githubusercontent.com/u/811527?v=3","gravatar_id":"","url":"https://api.github.com/users/ChrisJefferson","html_url":"https://github.com/ChrisJefferson","followers_url":"https://api.github.com/users/ChrisJefferson/followers","following_url":"https://api.github.com/users/ChrisJefferson/following{/other_user}","gists_url":"https://api.github.com/users/ChrisJefferson/gists{/gist_id}","starred_url":"https://api.github.com/users/ChrisJefferson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChrisJefferson/subscriptions","organizations_url":"https://api.github.com/users/ChrisJefferson/orgs","repos_url":"https://api.github.com/users/ChrisJefferson/repos","events_url":"https://api.github.com/users/ChrisJefferson/events{/privacy}","received_events_url":"https://api.github.com/users/ChrisJefferson/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/ChrisJefferson/gap","description":"GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra","fork":true,"url":"https://api.github.com/repos/ChrisJefferson/gap","forks_url":"https://api.github.com/repos/ChrisJefferson/gap/forks","keys_url":"https://api.github.com/repos/ChrisJefferson/gap/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ChrisJefferson/gap/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ChrisJefferson/gap/teams","hooks_url":"https://api.github.com/repos/ChrisJefferson/gap/hooks","issue_events_url":"https://api.github.com/repos/ChrisJefferson/gap/issues/events{/number}","events_url":"https://api.github.com/repos/ChrisJefferson/gap/events","assignees_url":"https://api.github.com/repos/ChrisJefferson/gap/assignees{/user}","branches_url":"https://api.github.com/repos/ChrisJefferson/gap/branches{/branch}","tags_url":"https://api.github.com/repos/ChrisJefferson/gap/tags","blobs_url":"https://api.github.com/repos/ChrisJefferson/gap/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ChrisJefferson/gap/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ChrisJefferson/gap/git/refs{/sha}","trees_url":"https://api.github.com/repos/ChrisJefferson/gap/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ChrisJefferson/gap/statuses/{sha}","languages_url":"https://api.github.com/repos/ChrisJefferson/gap/languages","stargazers_url":"https://api.github.com/repos/ChrisJefferson/gap/stargazers","contributors_url":"https://api.github.com/repos/ChrisJefferson/gap/contributors","subscribers_url":"https://api.github.com/repos/ChrisJefferson/gap/subscribers","subscription_url":"https://api.github.com/repos/ChrisJefferson/gap/subscription","commits_url":"https://api.github.com/repos/ChrisJefferson/gap/commits{/sha}","git_commits_url":"https://api.github.com/repos/ChrisJefferson/gap/git/commits{/sha}","comments_url":"https://api.github.com/repos/ChrisJefferson/gap/comments{/number}","issue_comment_url":"https://api.github.com/repos/ChrisJefferson/gap/issues/comments{/number}","contents_url":"https://api.github.com/repos/ChrisJefferson/gap/contents/{+path}","compare_url":"https://api.github.com/repos/ChrisJefferson/gap/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ChrisJefferson/gap/merges","archive_url":"https://api.github.com/repos/ChrisJefferson/gap/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ChrisJefferson/gap/downloads","issues_url":"https://api.github.com/repos/ChrisJefferson/gap/issues{/number}","pulls_url":"https://api.github.com/repos/ChrisJefferson/gap/pulls{/number}","milestones_url":"https://api.github.com/repos/ChrisJefferson/gap/milestones{/number}","notifications_url":"https://api.github.com/repos/ChrisJefferson/gap/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ChrisJefferson/gap/labels{/name}","releases_url":"https://api.github.com/repos/ChrisJefferson/gap/releases{/id}","deployments_url":"https://api.github.com/repos/ChrisJefferson/gap/deployments","created_at":"2015-02-28T13:00:32Z","updated_at":"2016-05-27T20:50:30Z","pushed_at":"2016-12-07T12:13:06Z","git_url":"git://github.com/ChrisJefferson/gap.git","ssh_url":"git@github.com:ChrisJefferson/gap.git","clone_url":"https://github.com/ChrisJefferson/gap.git","svn_url":"https://github.com/ChrisJefferson/gap","homepage":"http://www.gap-system.org","size":399284,"stargazers_count":0,"watchers_count":0,"language":"GAP","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"gap-system:master","ref":"master","sha":"a088d8e284bcf0a194bb1292b2d40ac3d19608a7","user":{"login":"gap-system","id":5344223,"avatar_url":"https://avatars.githubusercontent.com/u/5344223?v=3","gravatar_id":"","url":"https://api.github.com/users/gap-system","html_url":"https://github.com/gap-system","followers_url":"https://api.github.com/users/gap-system/followers","following_url":"https://api.github.com/users/gap-system/following{/other_user}","gists_url":"https://api.github.com/users/gap-system/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-system/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-system/subscriptions","organizations_url":"https://api.github.com/users/gap-system/orgs","repos_url":"https://api.github.com/users/gap-system/repos","events_url":"https://api.github.com/users/gap-system/events{/privacy}","received_events_url":"https://api.github.com/users/gap-system/received_events","type":"Organization","site_admin":false},"repo":{"id":31270208,"name":"gap","full_name":"gap-system/gap","owner":{"login":"gap-system","id":5344223,"avatar_url":"https://avatars.githubusercontent.com/u/5344223?v=3","gravatar_id":"","url":"https://api.github.com/users/gap-system","html_url":"https://github.com/gap-system","followers_url":"https://api.github.com/users/gap-system/followers","following_url":"https://api.github.com/users/gap-system/following{/other_user}","gists_url":"https://api.github.com/users/gap-system/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-system/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-system/subscriptions","organizations_url":"https://api.github.com/users/gap-system/orgs","repos_url":"https://api.github.com/users/gap-system/repos","events_url":"https://api.github.com/users/gap-system/events{/privacy}","received_events_url":"https://api.github.com/users/gap-system/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/gap-system/gap","description":"Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra","fork":false,"url":"https://api.github.com/repos/gap-system/gap","forks_url":"https://api.github.com/repos/gap-system/gap/forks","keys_url":"https://api.github.com/repos/gap-system/gap/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gap-system/gap/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gap-system/gap/teams","hooks_url":"https://api.github.com/repos/gap-system/gap/hooks","issue_events_url":"https://api.github.com/repos/gap-system/gap/issues/events{/number}","events_url":"https://api.github.com/repos/gap-system/gap/events","assignees_url":"https://api.github.com/repos/gap-system/gap/assignees{/user}","branches_url":"https://api.github.com/repos/gap-system/gap/branches{/branch}","tags_url":"https://api.github.com/repos/gap-system/gap/tags","blobs_url":"https://api.github.com/repos/gap-system/gap/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gap-system/gap/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gap-system/gap/git/refs{/sha}","trees_url":"https://api.github.com/repos/gap-system/gap/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gap-system/gap/statuses/{sha}","languages_url":"https://api.github.com/repos/gap-system/gap/languages","stargazers_url":"https://api.github.com/repos/gap-system/gap/stargazers","contributors_url":"https://api.github.com/repos/gap-system/gap/contributors","subscribers_url":"https://api.github.com/repos/gap-system/gap/subscribers","subscription_url":"https://api.github.com/repos/gap-system/gap/subscription","commits_url":"https://api.github.com/repos/gap-system/gap/commits{/sha}","git_commits_url":"https://api.github.com/repos/gap-system/gap/git/commits{/sha}","comments_url":"https://api.github.com/repos/gap-system/gap/comments{/number}","issue_comment_url":"https://api.github.com/repos/gap-system/gap/issues/comments{/number}","contents_url":"https://api.github.com/repos/gap-system/gap/contents/{+path}","compare_url":"https://api.github.com/repos/gap-system/gap/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gap-system/gap/merges","archive_url":"https://api.github.com/repos/gap-system/gap/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gap-system/gap/downloads","issues_url":"https://api.github.com/repos/gap-system/gap/issues{/number}","pulls_url":"https://api.github.com/repos/gap-system/gap/pulls{/number}","milestones_url":"https://api.github.com/repos/gap-system/gap/milestones{/number}","notifications_url":"https://api.github.com/repos/gap-system/gap/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gap-system/gap/labels{/name}","releases_url":"https://api.github.com/repos/gap-system/gap/releases{/id}","deployments_url":"https://api.github.com/repos/gap-system/gap/deployments","created_at":"2015-02-24T16:47:50Z","updated_at":"2016-12-07T13:06:14Z","pushed_at":"2016-12-07T13:48:30Z","git_url":"git://github.com/gap-system/gap.git","ssh_url":"git@github.com:gap-system/gap.git","clone_url":"https://github.com/gap-system/gap.git","svn_url":"https://github.com/gap-system/gap","homepage":"http://www.gap-system.org","size":401323,"stargazers_count":105,"watchers_count":105,"language":"GAP","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":49,"mirror_url":null,"open_issues_count":221,"forks":49,"open_issues":221,"watchers":105,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/gap-system/gap/pulls/928"},"html":{"href":"https://github.com/gap-system/gap/pull/928"},"issue":{"href":"https://api.github.com/repos/gap-system/gap/issues/928"},"comments":{"href":"https://api.github.com/repos/gap-system/gap/issues/928/comments"},"review_comments":{"href":"https://api.github.com/repos/gap-system/gap/pulls/928/comments"},"review_comment":{"href":"https://api.github.com/repos/gap-system/gap/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/gap-system/gap/pulls/928/commits"},"statuses":{"href":"https://api.github.com/repos/gap-system/gap/statuses/b7aae2af68838f915fbc0c7adb03ebef3d929193"}}}}
{"actor":{"display_login":"fingolfin"}}