{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rust-playpen/issues/72","labels_url":"https://api.github.com/repos/rust-lang/rust-playpen/issues/72/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rust-playpen/issues/72/comments","events_url":"https://api.github.com/repos/rust-lang/rust-playpen/issues/72/events","html_url":"https://github.com/rust-lang/rust-playpen/pull/72","id":57374922,"number":72,"title":"Added theme support to the frontend using Ace themes.","user":{"login":"welbornprod","id":3343802,"avatar_url":"https://avatars.githubusercontent.com/u/3343802?v=3","gravatar_id":"","url":"https://api.github.com/users/welbornprod","html_url":"https://github.com/welbornprod","followers_url":"https://api.github.com/users/welbornprod/followers","following_url":"https://api.github.com/users/welbornprod/following{/other_user}","gists_url":"https://api.github.com/users/welbornprod/gists{/gist_id}","starred_url":"https://api.github.com/users/welbornprod/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/welbornprod/subscriptions","organizations_url":"https://api.github.com/users/welbornprod/orgs","repos_url":"https://api.github.com/users/welbornprod/repos","events_url":"https://api.github.com/users/welbornprod/events{/privacy}","received_events_url":"https://api.github.com/users/welbornprod/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"nikomatsakis","id":155238,"avatar_url":"https://avatars.githubusercontent.com/u/155238?v=3","gravatar_id":"","url":"https://api.github.com/users/nikomatsakis","html_url":"https://github.com/nikomatsakis","followers_url":"https://api.github.com/users/nikomatsakis/followers","following_url":"https://api.github.com/users/nikomatsakis/following{/other_user}","gists_url":"https://api.github.com/users/nikomatsakis/gists{/gist_id}","starred_url":"https://api.github.com/users/nikomatsakis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikomatsakis/subscriptions","organizations_url":"https://api.github.com/users/nikomatsakis/orgs","repos_url":"https://api.github.com/users/nikomatsakis/repos","events_url":"https://api.github.com/users/nikomatsakis/events{/privacy}","received_events_url":"https://api.github.com/users/nikomatsakis/received_events","type":"User","site_admin":false},"milestone":null,"comments":2,"created_at":"2015-02-11T20:48:15Z","updated_at":"2015-02-11T21:12:09Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rust-playpen/pulls/72","html_url":"https://github.com/rust-lang/rust-playpen/pull/72","diff_url":"https://github.com/rust-lang/rust-playpen/pull/72.diff","patch_url":"https://github.com/rust-lang/rust-playpen/pull/72.patch"},"body":"This uses Ace's `ext-themelist.js` and `localStorage` to set and remember the user's favorite highlighting theme. It adds one `<select>` tag on the end of the others. All themes are listed alphabetically by their proper name. The default theme is still `GitHub`. \r\n\r\nI've tested this locally using Chrome and `web.py`. Since it only touches the frontend it shouldn't interfere with any of the actual code evaluation.\r\n\r\nThis is what it looks like:\r\n![image](https://cloud.githubusercontent.com/assets/3343802/6156195/ab1d950c-b1fd-11e4-9aa1-bd0e2369b78f.png)\r\n"},"comment":{"url":"https://api.github.com/repos/rust-lang/rust-playpen/issues/comments/73965752","html_url":"https://github.com/rust-lang/rust-playpen/pull/72#issuecomment-73965752","issue_url":"https://api.github.com/repos/rust-lang/rust-playpen/issues/72","id":73965752,"user":{"login":"nikomatsakis","id":155238,"avatar_url":"https://avatars.githubusercontent.com/u/155238?v=3","gravatar_id":"","url":"https://api.github.com/users/nikomatsakis","html_url":"https://github.com/nikomatsakis","followers_url":"https://api.github.com/users/nikomatsakis/followers","following_url":"https://api.github.com/users/nikomatsakis/following{/other_user}","gists_url":"https://api.github.com/users/nikomatsakis/gists{/gist_id}","starred_url":"https://api.github.com/users/nikomatsakis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikomatsakis/subscriptions","organizations_url":"https://api.github.com/users/nikomatsakis/orgs","repos_url":"https://api.github.com/users/nikomatsakis/repos","events_url":"https://api.github.com/users/nikomatsakis/events{/privacy}","received_events_url":"https://api.github.com/users/nikomatsakis/received_events","type":"User","site_admin":false},"created_at":"2015-02-11T21:12:09Z","updated_at":"2015-02-11T21:12:09Z","body":"Looks good to me, thanks!"}}