{"action":"created","issue":{"url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/34","labels_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/34/labels{/name}","comments_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/34/comments","events_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/34/events","html_url":"https://github.com/cpitclaudel/company-coq/issues/34","id":123598411,"number":34,"title":"Using prettify-symbols-alist only impacts source buffer, not goals or response buffers","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":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-12-23T03:56:20Z","updated_at":"2015-12-23T06:26:51Z","closed_at":"2015-12-23T06:26:51Z","body":"I tried adding this to my .emacs:\r\n\r\n```\r\n(add-hook 'coq-mode-hook\r\n          (lambda ()\r\n            (set (make-local-variable 'prettify-symbols-alist)\r\n                 '((\":=\" . ?≝)\r\n\t\t   (\"Proof.\" . ?∵)\r\n\t\t   (\"Qed.\" . ?■)\r\n                   (\"Defined.\" . ?□)\r\n\t\t   (\"Time\" . ?⏱)\r\n\t\t   (\"Admitted.\" . ?😱)\r\n\t\t   (\"#+\" . ?⨥)\r\n\t\t   (\"#-\" . ?⨪)\r\n\t\t   ))\r\n\t    (company-coq-initialize)\r\n\t    ))\r\n```\r\n\r\nand adds the new prettified symbols in the source window, but does nothing in the goals or response windows.  Do I need some other setting?\r\n"},"comment":{"url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/comments/166813383","html_url":"https://github.com/cpitclaudel/company-coq/issues/34#issuecomment-166813383","issue_url":"https://api.github.com/repos/cpitclaudel/company-coq/issues/34","id":166813383,"user":{"login":"cpitclaudel","id":8181630,"avatar_url":"https://avatars.githubusercontent.com/u/8181630?v=3","gravatar_id":"","url":"https://api.github.com/users/cpitclaudel","html_url":"https://github.com/cpitclaudel","followers_url":"https://api.github.com/users/cpitclaudel/followers","following_url":"https://api.github.com/users/cpitclaudel/following{/other_user}","gists_url":"https://api.github.com/users/cpitclaudel/gists{/gist_id}","starred_url":"https://api.github.com/users/cpitclaudel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cpitclaudel/subscriptions","organizations_url":"https://api.github.com/users/cpitclaudel/orgs","repos_url":"https://api.github.com/users/cpitclaudel/repos","events_url":"https://api.github.com/users/cpitclaudel/events{/privacy}","received_events_url":"https://api.github.com/users/cpitclaudel/received_events","type":"User","site_admin":false},"created_at":"2015-12-23T06:26:51Z","updated_at":"2015-12-23T06:26:51Z","body":"Indeed, this one had been bugging at some point (but then it got buried in my TODO list). It's ticky to get right because the prettification-alist can be made file-local, so it's not obvious where to take the prettification alist from for the goal and response buffers.\r\n\r\nIt turns out that the new architecture makes this much easier, so this should be fixed on the `massive-cleanup` branch! Thanks for reporting it :)"}}