{"action":"closed","issue":{"url":"https://api.github.com/repos/arduino/Arduino/issues/232","labels_url":"https://api.github.com/repos/arduino/Arduino/issues/232/labels{/name}","comments_url":"https://api.github.com/repos/arduino/Arduino/issues/232/comments","events_url":"https://api.github.com/repos/arduino/Arduino/issues/232/events","html_url":"https://github.com/arduino/Arduino/issues/232","id":8395824,"number":232,"title":"Editor Font Selection Capability [imported]","user":{"login":"cmaglie","id":423515,"avatar_url":"https://avatars.githubusercontent.com/u/423515?v=3","gravatar_id":"","url":"https://api.github.com/users/cmaglie","html_url":"https://github.com/cmaglie","followers_url":"https://api.github.com/users/cmaglie/followers","following_url":"https://api.github.com/users/cmaglie/following{/other_user}","gists_url":"https://api.github.com/users/cmaglie/gists{/gist_id}","starred_url":"https://api.github.com/users/cmaglie/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cmaglie/subscriptions","organizations_url":"https://api.github.com/users/cmaglie/orgs","repos_url":"https://api.github.com/users/cmaglie/repos","events_url":"https://api.github.com/users/cmaglie/events{/privacy}","received_events_url":"https://api.github.com/users/cmaglie/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2012-11-15T18:23:22Z","updated_at":"2015-06-08T06:59:39Z","closed_at":"2015-06-08T06:59:38Z","body":"This is [Issue 232](http://code.google.com/p/arduino/issues/detail?id=232) moved from a Google Code project.\nAdded by 2010-04-22T13:39:41.000Z by [jkob...@gmail.com](http://code.google.com/u/108587518660752956155/).\nPlease review that bug for more context and additional comments, but update this bug.\n\n\nOriginal labels: Type-Enhancement, Priority-Medium\n\n### Original description\n\nI would like to be able to set the font for the editor on arduino ubuntu\nlinux. i've tried changing theme.txt and preferences.txt and nothing works.\nhow about a simple couple of drop down menus in the preference dialog for\nfont and size. added plus would be anti-aliasing of fonts but not a show\nstopper.\n\nWhy? because i consider it unusable the way it is now. i can barely read it.\n\nWould this cause any incompatibilities with previous versions?  should not\ncause any incompatibility issues.\n\nThanks\nJeff O'Brien\n\n"}}