{"action":"created","issue":{"url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/30","labels_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/30/labels{/name}","comments_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/30/comments","events_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/30/events","html_url":"https://github.com/cpitclaudel/company-coq/issues/30","id":123046770,"number":30,"title":"prevent ++ from becoming ⧺ when it is a proof script bullet","user":{"login":"jonleivent","id":7363878,"avatar_url":"https://avatars.githubusercontent.com/u/7363878?v=3","gravatar_id":"","url":"https://api.github.com/users/jonleivent","html_url":"https://github.com/jonleivent","followers_url":"https://api.github.com/users/jonleivent/followers","following_url":"https://api.github.com/users/jonleivent/following{/other_user}","gists_url":"https://api.github.com/users/jonleivent/gists{/gist_id}","starred_url":"https://api.github.com/users/jonleivent/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jonleivent/subscriptions","organizations_url":"https://api.github.com/users/jonleivent/orgs","repos_url":"https://api.github.com/users/jonleivent/repos","events_url":"https://api.github.com/users/jonleivent/events{/privacy}","received_events_url":"https://api.github.com/users/jonleivent/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/cpitclaudel/company-coq/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":10,"created_at":"2015-12-19T00:07:51Z","updated_at":"2016-01-04T01:42:09Z","closed_at":"2016-01-04T01:15:32Z","body":"The second level proof script bullet ++ shouldn't get folded into ⧺, as this both looks strange and confuses indenting.  Can symbol folding get turned off in certain spots?\r\n\r\nIdeally, it would be nice to have proof script bullets highlighted in some way so that they look like buttons - and when depressed, they hide/show that part of the proof script tree.  I know hide/show and outline minor modes are supposed to do this, but have they ever worked with Coq proof scripts?\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/comments/168563660","html_url":"https://github.com/cpitclaudel/company-coq/issues/30#issuecomment-168563660","issue_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/30","id":168563660,"user":{"login":"jonleivent","id":7363878,"avatar_url":"https://avatars.githubusercontent.com/u/7363878?v=3","gravatar_id":"","url":"https://api.github.com/users/jonleivent","html_url":"https://github.com/jonleivent","followers_url":"https://api.github.com/users/jonleivent/followers","following_url":"https://api.github.com/users/jonleivent/following{/other_user}","gists_url":"https://api.github.com/users/jonleivent/gists{/gist_id}","starred_url":"https://api.github.com/users/jonleivent/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jonleivent/subscriptions","organizations_url":"https://api.github.com/users/jonleivent/orgs","repos_url":"https://api.github.com/users/jonleivent/repos","events_url":"https://api.github.com/users/jonleivent/events{/privacy}","received_events_url":"https://api.github.com/users/jonleivent/received_events","type":"User","site_admin":false},"created_at":"2016-01-04T01:42:08Z","updated_at":"2016-01-04T01:42:08Z","body":"When the cursor is right at the end of the last line in the subgoal's script, S-Tab does nothing.\r\n\r\nStepping in via C-c C-n unfolds, but by toolbar next leaves it folded.  Is there a way I can change that?\r\n"}}