{"action":"created","issue":{"url":"https://api.github.com/repos/mbutterick/pollen/issues/103","labels_url":"https://api.github.com/repos/mbutterick/pollen/issues/103/labels{/name}","comments_url":"https://api.github.com/repos/mbutterick/pollen/issues/103/comments","events_url":"https://api.github.com/repos/mbutterick/pollen/issues/103/events","html_url":"https://github.com/mbutterick/pollen/issues/103","id":119091019,"number":103,"title":"Changing command-char removes highlight of the command line in DrRacket","user":{"login":"gregid","id":7010458,"avatar_url":"https://avatars.githubusercontent.com/u/7010458?v=3","gravatar_id":"","url":"https://api.github.com/users/gregid","html_url":"https://github.com/gregid","followers_url":"https://api.github.com/users/gregid/followers","following_url":"https://api.github.com/users/gregid/following{/other_user}","gists_url":"https://api.github.com/users/gregid/gists{/gist_id}","starred_url":"https://api.github.com/users/gregid/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gregid/subscriptions","organizations_url":"https://api.github.com/users/gregid/orgs","repos_url":"https://api.github.com/users/gregid/repos","events_url":"https://api.github.com/users/gregid/events{/privacy}","received_events_url":"https://api.github.com/users/gregid/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/mbutterick/pollen/labels/enhancement","name":"enhancement","color":"009800"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2015-11-26T18:43:14Z","updated_at":"2015-11-29T00:37:47Z","closed_at":"2015-11-28T23:35:06Z","body":"If you change command-char to anything other than lozenge DrRacket drops the highlight of command lines (or rather doesn't apply highlighting to new command-char). \r\nAlso please consider alternative default command-char for those stuck with Windows (or even Linux) as the idea of using character not even on the keyboard is somewhat discouraging for users (especially with no highlight) - it was for me until I finally ended up with AutoHotKey to get the character. How about simple \"^\" ie:\r\n```\r\n^(define inner 2)\r\n```\r\nand\r\n```\r\n^|inner|\r\n```\r\nIt seems like a logical choice as it brings to mind: \"look up\" and it still looks like a half of the lozenge ;)"},"comment":{"url":"https://api.github.com/repos/mbutterick/pollen/issues/comments/160350406","html_url":"https://github.com/mbutterick/pollen/issues/103#issuecomment-160350406","issue_url":"https://api.github.com/repos/mbutterick/pollen/issues/103","id":160350406,"user":{"login":"gregid","id":7010458,"avatar_url":"https://avatars.githubusercontent.com/u/7010458?v=3","gravatar_id":"","url":"https://api.github.com/users/gregid","html_url":"https://github.com/gregid","followers_url":"https://api.github.com/users/gregid/followers","following_url":"https://api.github.com/users/gregid/following{/other_user}","gists_url":"https://api.github.com/users/gregid/gists{/gist_id}","starred_url":"https://api.github.com/users/gregid/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gregid/subscriptions","organizations_url":"https://api.github.com/users/gregid/orgs","repos_url":"https://api.github.com/users/gregid/repos","events_url":"https://api.github.com/users/gregid/events{/privacy}","received_events_url":"https://api.github.com/users/gregid/received_events","type":"User","site_admin":false},"created_at":"2015-11-29T00:37:47Z","updated_at":"2015-11-29T00:37:47Z","body":"Thanks for trying. If you don't mind reading alternative idea - to make a more pleasant experience for a newcomer to Pollen (ie: to allow a newcomer to jump right in - instead of figuring out stuff like AutoHotKey and/or changing command-char before first proper use) I would suggest extending DrRacket, Insert menu to be exact. Similarly to existing \"Insert λ Ctl+\\\" add \"Insert ◊ (some shortcut)\".\r\n\r\nIMHO that would resolve majority of lozenge averse doubts about the choice made for the command-char.\r\n\r\nIf you are not interested in this direction I may try to write the extension myself in few months time - after learning a bit more about language and its IDE (DrRacket). Your project (Pollen) was one of the reasons I decided to give Racket a try - so thank you for your hard work!"}}