{"action":"opened","issue":{"url":"https://api.github.com/repos/Khan/live-editor/issues/538","labels_url":"https://api.github.com/repos/Khan/live-editor/issues/538/labels{/name}","comments_url":"https://api.github.com/repos/Khan/live-editor/issues/538/comments","events_url":"https://api.github.com/repos/Khan/live-editor/issues/538/events","html_url":"https://github.com/Khan/live-editor/issues/538","id":126450534,"number":538,"title":"Add a settings menu where user can configure options","user":{"login":"kevinbarabash","id":1044413,"avatar_url":"https://avatars.githubusercontent.com/u/1044413?v=3","gravatar_id":"","url":"https://api.github.com/users/kevinbarabash","html_url":"https://github.com/kevinbarabash","followers_url":"https://api.github.com/users/kevinbarabash/followers","following_url":"https://api.github.com/users/kevinbarabash/following{/other_user}","gists_url":"https://api.github.com/users/kevinbarabash/gists{/gist_id}","starred_url":"https://api.github.com/users/kevinbarabash/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kevinbarabash/subscriptions","organizations_url":"https://api.github.com/users/kevinbarabash/orgs","repos_url":"https://api.github.com/users/kevinbarabash/repos","events_url":"https://api.github.com/users/kevinbarabash/events{/privacy}","received_events_url":"https://api.github.com/users/kevinbarabash/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Khan/live-editor/labels/editor","name":"editor","color":"02e10c"},{"url":"https://api.github.com/repos/Khan/live-editor/labels/idea","name":"idea","color":"5319e7"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-01-13T15:57:32Z","updated_at":"2016-01-13T15:57:32Z","closed_at":null,"body":"There are few options that would be nice to configure on a per user basis, e.g. enabling/disabling auto-complete.\r\n\r\nI investigated using the ace settings menu, but it's not really set up to configure what options show up in the menu.  It's probably easier to create our own menu.\r\n\r\nI was thinking of having a modal, something like the settings panel in Chrome dev tools.\r\n\r\nIt should have some defaults, but should also accept a settings object to override the defaults.  That way, in the future we'll be able to save user settings."}}