{"action":"created","issue":{"url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/11098","repository_url":"https://api.github.com/repos/syl20bnr/spacemacs","labels_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/11098/labels{/name}","comments_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/11098/comments","events_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/11098/events","html_url":"https://github.com/syl20bnr/spacemacs/pull/11098","id":345473388,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA0NjA3NjI1","number":11098,"title":"Fix idris file loading.","user":{"login":"jsoo1","id":10039785,"node_id":"MDQ6VXNlcjEwMDM5Nzg1","avatar_url":"https://avatars2.githubusercontent.com/u/10039785?v=4","gravatar_id":"","url":"https://api.github.com/users/jsoo1","html_url":"https://github.com/jsoo1","followers_url":"https://api.github.com/users/jsoo1/followers","following_url":"https://api.github.com/users/jsoo1/following{/other_user}","gists_url":"https://api.github.com/users/jsoo1/gists{/gist_id}","starred_url":"https://api.github.com/users/jsoo1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jsoo1/subscriptions","organizations_url":"https://api.github.com/users/jsoo1/orgs","repos_url":"https://api.github.com/users/jsoo1/repos","events_url":"https://api.github.com/users/jsoo1/events{/privacy}","received_events_url":"https://api.github.com/users/jsoo1/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-28T19:34:41Z","updated_at":"2018-07-28T19:54:13Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/syl20bnr/spacemacs/pulls/11098","html_url":"https://github.com/syl20bnr/spacemacs/pull/11098","diff_url":"https://github.com/syl20bnr/spacemacs/pull/11098.diff","patch_url":"https://github.com/syl20bnr/spacemacs/pull/11098.patch"},"body":"Don't select idris popwins to avoid idris loading errors.\r\n\r\n  - Fixes #11097 "},"comment":{"url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/comments/408631233","html_url":"https://github.com/syl20bnr/spacemacs/pull/11098#issuecomment-408631233","issue_url":"https://api.github.com/repos/syl20bnr/spacemacs/issues/11098","id":408631233,"node_id":"MDEyOklzc3VlQ29tbWVudDQwODYzMTIzMw==","user":{"login":"Miciah","id":2042465,"node_id":"MDQ6VXNlcjIwNDI0NjU=","avatar_url":"https://avatars1.githubusercontent.com/u/2042465?v=4","gravatar_id":"","url":"https://api.github.com/users/Miciah","html_url":"https://github.com/Miciah","followers_url":"https://api.github.com/users/Miciah/followers","following_url":"https://api.github.com/users/Miciah/following{/other_user}","gists_url":"https://api.github.com/users/Miciah/gists{/gist_id}","starred_url":"https://api.github.com/users/Miciah/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Miciah/subscriptions","organizations_url":"https://api.github.com/users/Miciah/orgs","repos_url":"https://api.github.com/users/Miciah/repos","events_url":"https://api.github.com/users/Miciah/events{/privacy}","received_events_url":"https://api.github.com/users/Miciah/received_events","type":"User","site_admin":false},"created_at":"2018-07-28T19:54:13Z","updated_at":"2018-07-28T19:54:13Z","author_association":"NONE","body":"From your comments in the linked issue and upstream issue, it looks like the issue lies with idris-mode's `idris-filename-to-load` function, which uses the current buffer instead of `idris-currently-loaded-buffer`.  Shouldn't the issue be fixed in idris-mode?"}}
{"actor":{"display_login":"Miciah"}}