{"action":"created","issue":{"url":"https://api.github.com/repos/hlissner/doom-emacs/issues/896","repository_url":"https://api.github.com/repos/hlissner/doom-emacs","labels_url":"https://api.github.com/repos/hlissner/doom-emacs/issues/896/labels{/name}","comments_url":"https://api.github.com/repos/hlissner/doom-emacs/issues/896/comments","events_url":"https://api.github.com/repos/hlissner/doom-emacs/issues/896/events","html_url":"https://github.com/hlissner/doom-emacs/pull/896","id":360976268,"node_id":"MDExOlB1bGxSZXF1ZXN0MjE2MDYzNDc0","number":896,"title":"Deactivate expansion of abbreviations (ProofGeneral/Coq)","user":{"login":"wildsebastian","id":1215623,"node_id":"MDQ6VXNlcjEyMTU2MjM=","avatar_url":"https://avatars0.githubusercontent.com/u/1215623?v=4","gravatar_id":"","url":"https://api.github.com/users/wildsebastian","html_url":"https://github.com/wildsebastian","followers_url":"https://api.github.com/users/wildsebastian/followers","following_url":"https://api.github.com/users/wildsebastian/following{/other_user}","gists_url":"https://api.github.com/users/wildsebastian/gists{/gist_id}","starred_url":"https://api.github.com/users/wildsebastian/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wildsebastian/subscriptions","organizations_url":"https://api.github.com/users/wildsebastian/orgs","repos_url":"https://api.github.com/users/wildsebastian/repos","events_url":"https://api.github.com/users/wildsebastian/events{/privacy}","received_events_url":"https://api.github.com/users/wildsebastian/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2018-09-17T17:52:18Z","updated_at":"2018-09-23T10:37:08Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/hlissner/doom-emacs/pulls/896","html_url":"https://github.com/hlissner/doom-emacs/pull/896","diff_url":"https://github.com/hlissner/doom-emacs/pull/896.diff","patch_url":"https://github.com/hlissner/doom-emacs/pull/896.patch"},"body":"This line deactivates the expansion of abbreviations since it is hard to work with Coq in evil mode when this is active. For example, if my cursor is next to the letter L and I hit escape, it gets expanded to: `\r\nLemma # : #.\r\n  Proof.\r\n     #\r\n  Qed.\r\n`\r\nThat makes it hard to work with ProofGeneral.\r\nThe solution I found is from a [ProofGeneral Github issue](https://github.com/ProofGeneral/PG/issues/174). I was not sure where to add the line. Apparently it has to be before loading evil-mode.\r\n\r\nLet me know if you want me to add it in a different place or just close the PR if you don't want to have this at all.\r\n\r\nThank you for your work. I really enjoy using emacs using doom.\r\n"},"comment":{"url":"https://api.github.com/repos/hlissner/doom-emacs/issues/comments/423806891","html_url":"https://github.com/hlissner/doom-emacs/pull/896#issuecomment-423806891","issue_url":"https://api.github.com/repos/hlissner/doom-emacs/issues/896","id":423806891,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMzgwNjg5MQ==","user":{"login":"wildsebastian","id":1215623,"node_id":"MDQ6VXNlcjEyMTU2MjM=","avatar_url":"https://avatars0.githubusercontent.com/u/1215623?v=4","gravatar_id":"","url":"https://api.github.com/users/wildsebastian","html_url":"https://github.com/wildsebastian","followers_url":"https://api.github.com/users/wildsebastian/followers","following_url":"https://api.github.com/users/wildsebastian/following{/other_user}","gists_url":"https://api.github.com/users/wildsebastian/gists{/gist_id}","starred_url":"https://api.github.com/users/wildsebastian/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wildsebastian/subscriptions","organizations_url":"https://api.github.com/users/wildsebastian/orgs","repos_url":"https://api.github.com/users/wildsebastian/repos","events_url":"https://api.github.com/users/wildsebastian/events{/privacy}","received_events_url":"https://api.github.com/users/wildsebastian/received_events","type":"User","site_admin":false},"created_at":"2018-09-23T10:37:08Z","updated_at":"2018-09-23T10:37:08Z","author_association":"NONE","body":"Cool, sounds good.\r\nI don't know if I can work on it this weekend, but I will start this week."}}
{"actor":{"display_login":"wildsebastian"}}