{"action":"created","issue":{"url":"https://api.github.com/repos/servo/webrender/issues/2664","repository_url":"https://api.github.com/repos/servo/webrender","labels_url":"https://api.github.com/repos/servo/webrender/issues/2664/labels{/name}","comments_url":"https://api.github.com/repos/servo/webrender/issues/2664/comments","events_url":"https://api.github.com/repos/servo/webrender/issues/2664/events","html_url":"https://github.com/servo/webrender/pull/2664","id":314640188,"number":2664,"title":"Prerender tile spacing and use the brush shader.","user":{"login":"nical","id":264854,"avatar_url":"https://avatars2.githubusercontent.com/u/264854?v=4","gravatar_id":"","url":"https://api.github.com/users/nical","html_url":"https://github.com/nical","followers_url":"https://api.github.com/users/nical/followers","following_url":"https://api.github.com/users/nical/following{/other_user}","gists_url":"https://api.github.com/users/nical/gists{/gist_id}","starred_url":"https://api.github.com/users/nical/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nical/subscriptions","organizations_url":"https://api.github.com/users/nical/orgs","repos_url":"https://api.github.com/users/nical/repos","events_url":"https://api.github.com/users/nical/events{/privacy}","received_events_url":"https://api.github.com/users/nical/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":12,"created_at":"2018-04-16T13:01:20Z","updated_at":"2018-05-02T21:08:48Z","closed_at":null,"author_association":"COLLABORATOR","pull_request":{"url":"https://api.github.com/repos/servo/webrender/pulls/2664","html_url":"https://github.com/servo/webrender/pull/2664","diff_url":"https://github.com/servo/webrender/pull/2664.diff","patch_url":"https://github.com/servo/webrender/pull/2664.patch"},"body":"On top of #2621 and #2644, bake the tile spacing into an image using a blit render task.\r\nThis lets us use the brush shader with tile spacing. In order for spacing to fully work the way we intend it to we need a bit more work (see #2659), but since the image shader we use for tile spacing doesn't do the right thing either, I don't think it would be a problem to move forward with this independently of #2659's resolution.\n\n<!-- Reviewable:start -->\n---\nThis change is [<img src=\"https://reviewable.io/review_button.svg\" height=\"34\" align=\"absmiddle\" alt=\"Reviewable\"/>](https://reviewable.io/reviews/servo/webrender/2664)\n<!-- Reviewable:end -->\n"},"comment":{"url":"https://api.github.com/repos/servo/webrender/issues/comments/386121948","html_url":"https://github.com/servo/webrender/pull/2664#issuecomment-386121948","issue_url":"https://api.github.com/repos/servo/webrender/issues/2664","id":386121948,"user":{"login":"glennw","id":2350882,"avatar_url":"https://avatars0.githubusercontent.com/u/2350882?v=4","gravatar_id":"","url":"https://api.github.com/users/glennw","html_url":"https://github.com/glennw","followers_url":"https://api.github.com/users/glennw/followers","following_url":"https://api.github.com/users/glennw/following{/other_user}","gists_url":"https://api.github.com/users/glennw/gists{/gist_id}","starred_url":"https://api.github.com/users/glennw/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/glennw/subscriptions","organizations_url":"https://api.github.com/users/glennw/orgs","repos_url":"https://api.github.com/users/glennw/repos","events_url":"https://api.github.com/users/glennw/events{/privacy}","received_events_url":"https://api.github.com/users/glennw/received_events","type":"User","site_admin":false},"created_at":"2018-05-02T21:08:48Z","updated_at":"2018-05-02T21:08:48Z","author_association":"MEMBER","body":"The reftest change seems fine. I don't quite follow how the padding / clearing works though - if we don't clear, won't the previous contents of that texture cache allocation be left in the empty space?\r\n"}}
{"actor":{"display_login":"glennw"}}