{"action":"created","issue":{"url":"https://api.github.com/repos/devtools-html/ux/issues/38","repository_url":"https://api.github.com/repos/devtools-html/ux","labels_url":"https://api.github.com/repos/devtools-html/ux/issues/38/labels{/name}","comments_url":"https://api.github.com/repos/devtools-html/ux/issues/38/comments","events_url":"https://api.github.com/repos/devtools-html/ux/issues/38/events","html_url":"https://github.com/devtools-html/ux/issues/38","id":389744729,"node_id":"MDU6SXNzdWUzODk3NDQ3Mjk=","number":38,"title":"Console Search/Filter","user":{"login":"nchevobbe","id":578107,"node_id":"MDQ6VXNlcjU3ODEwNw==","avatar_url":"https://avatars3.githubusercontent.com/u/578107?v=4","gravatar_id":"","url":"https://api.github.com/users/nchevobbe","html_url":"https://github.com/nchevobbe","followers_url":"https://api.github.com/users/nchevobbe/followers","following_url":"https://api.github.com/users/nchevobbe/following{/other_user}","gists_url":"https://api.github.com/users/nchevobbe/gists{/gist_id}","starred_url":"https://api.github.com/users/nchevobbe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nchevobbe/subscriptions","organizations_url":"https://api.github.com/users/nchevobbe/orgs","repos_url":"https://api.github.com/users/nchevobbe/repos","events_url":"https://api.github.com/users/nchevobbe/events{/privacy}","received_events_url":"https://api.github.com/users/nchevobbe/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2018-12-11T12:37:33Z","updated_at":"2018-12-11T15:43:00Z","closed_at":null,"author_association":"MEMBER","body":"In the future, we might want to expose a \"Search\" UI in the console, similar to the one that exists in the debugger, as opposed to the Filter UI we currently have.\r\n\r\nThis does not mean the Filter UI will go away as we do want people to be able to both search and filter at the same time.\r\n\r\n---\r\n\r\nOne idea that was brought during a meeting last week was that the filter UI could be moved along the existing filters (Error, warning, CSS, XHR, …), where it makes sense to put it.\r\n\r\n\r\nHere's how it could look like (quick and dirty mockup):\r\n\r\n<img width=\"771\" alt=\"image\" src=\"https://user-images.githubusercontent.com/578107/49801074-2c0e2600-fd17-11e8-8382-a82865580870.png\">\r\n\r\nA list of recent filters (let's say 5) would be displayed for quick access re-enabling.\r\nOn the filter bar, custom filters would have a delete button to easily remove them (you can also disable them).\r\n\r\nLike for other filters, I feel like we should persist those custom filters across sessions, but maybe we could tie them to a given origin?\r\n\r\nLet's discuss of those things here, so we can work on this on Q1.\r\n"},"comment":{"url":"https://api.github.com/repos/devtools-html/ux/issues/comments/446248620","html_url":"https://github.com/devtools-html/ux/issues/38#issuecomment-446248620","issue_url":"https://api.github.com/repos/devtools-html/ux/issues/38","id":446248620,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0NjI0ODYyMA==","user":{"login":"janodvarko","id":37785,"node_id":"MDQ6VXNlcjM3Nzg1","avatar_url":"https://avatars1.githubusercontent.com/u/37785?v=4","gravatar_id":"","url":"https://api.github.com/users/janodvarko","html_url":"https://github.com/janodvarko","followers_url":"https://api.github.com/users/janodvarko/followers","following_url":"https://api.github.com/users/janodvarko/following{/other_user}","gists_url":"https://api.github.com/users/janodvarko/gists{/gist_id}","starred_url":"https://api.github.com/users/janodvarko/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/janodvarko/subscriptions","organizations_url":"https://api.github.com/users/janodvarko/orgs","repos_url":"https://api.github.com/users/janodvarko/repos","events_url":"https://api.github.com/users/janodvarko/events{/privacy}","received_events_url":"https://api.github.com/users/janodvarko/received_events","type":"User","site_admin":false},"created_at":"2018-12-11T15:43:00Z","updated_at":"2018-12-11T15:43:00Z","author_association":"NONE","body":"> But I would try to avoid having two (or more) \"options\" buttons in a given tool.\r\n\r\nYes, makes sense to me.\r\n\r\n\r\n"}}
{"actor":{"display_login":"janodvarko"}}