{"action":"created","issue":{"url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/106","repository_url":"https://api.github.com/repos/cpitclaudel/company-coq","labels_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/106/labels{/name}","comments_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/106/comments","events_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/106/events","html_url":"https://github.com/cpitclaudel/company-coq/issues/106","id":149070935,"number":106,"title":"Extra newline inserted after autocompletion","user":{"login":"jstolarek","id":1597921,"avatar_url":"https://avatars.githubusercontent.com/u/1597921?v=3","gravatar_id":"","url":"https://api.github.com/users/jstolarek","html_url":"https://github.com/jstolarek","followers_url":"https://api.github.com/users/jstolarek/followers","following_url":"https://api.github.com/users/jstolarek/following{/other_user}","gists_url":"https://api.github.com/users/jstolarek/gists{/gist_id}","starred_url":"https://api.github.com/users/jstolarek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jstolarek/subscriptions","organizations_url":"https://api.github.com/users/jstolarek/orgs","repos_url":"https://api.github.com/users/jstolarek/repos","events_url":"https://api.github.com/users/jstolarek/events{/privacy}","received_events_url":"https://api.github.com/users/jstolarek/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/cpitclaudel/company-coq/labels/bug","name":"bug","color":"fc2929"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-04-18T07:51:02Z","updated_at":"2016-05-12T07:24:10Z","closed_at":null,"body":"I say:\r\n\r\n```coq\r\nGoal forall n, n <= n.\r\n  intro.\r\n  appl\r\n```\r\nAt this point company-coq offers me completion hints. I press RET to select first of them and type `le_n.` to get:\r\n```coq\r\nGoal forall n, n <= n.                                                         |\r\n  intro.                                                                       |\r\n  apply le_n.\r\n```\r\nNote that `le_n.` part is highlighted by compnay-coq as the contents of first hole to fill in. I press space but instead of simply moving one space forward company-coq inserts extra newline:\r\n```coq\r\nGoal forall n, n <= n.\r\n  intro.\r\n  apply le_n.\r\n X\r\n```\r\n`X` marks the point position. If instead of space I press RET I am moved two lines forward:\r\n```coq\r\nGoal forall n, n <= n.\r\n  intro.\r\n  apply le_n.\r\n\r\nX\r\n```\r\nThis seems to happen after every auto-completed tactic that contains arguments. I don't want any newline inserted, just the space (or a single newline if I press RET)."},"comment":{"url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/comments/218679953","html_url":"https://github.com/cpitclaudel/company-coq/issues/106#issuecomment-218679953","issue_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/106","id":218679953,"user":{"login":"jstolarek","id":1597921,"avatar_url":"https://avatars.githubusercontent.com/u/1597921?v=3","gravatar_id":"","url":"https://api.github.com/users/jstolarek","html_url":"https://github.com/jstolarek","followers_url":"https://api.github.com/users/jstolarek/followers","following_url":"https://api.github.com/users/jstolarek/following{/other_user}","gists_url":"https://api.github.com/users/jstolarek/gists{/gist_id}","starred_url":"https://api.github.com/users/jstolarek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jstolarek/subscriptions","organizations_url":"https://api.github.com/users/jstolarek/orgs","repos_url":"https://api.github.com/users/jstolarek/repos","events_url":"https://api.github.com/users/jstolarek/events{/privacy}","received_events_url":"https://api.github.com/users/jstolarek/received_events","type":"User","site_admin":false},"created_at":"2016-05-12T07:24:10Z","updated_at":"2016-05-12T07:24:10Z","body":"[Here](https://github.com/jstolarek/scripts/blob/master/emacs/.emacs#L133) are my proof general settings. My Emacs is 24.5.1"}}