{"action":"created","issue":{"url":"https://api.github.com/repos/protegeproject/protege/issues/115","labels_url":"https://api.github.com/repos/protegeproject/protege/issues/115/labels{/name}","comments_url":"https://api.github.com/repos/protegeproject/protege/issues/115/comments","events_url":"https://api.github.com/repos/protegeproject/protege/issues/115/events","html_url":"https://github.com/protegeproject/protege/issues/115","id":56091088,"number":115,"title":"UHD resolution support","user":{"login":"rawmatt","id":6185047,"avatar_url":"https://avatars.githubusercontent.com/u/6185047?v=3","gravatar_id":"","url":"https://api.github.com/users/rawmatt","html_url":"https://github.com/rawmatt","followers_url":"https://api.github.com/users/rawmatt/followers","following_url":"https://api.github.com/users/rawmatt/following{/other_user}","gists_url":"https://api.github.com/users/rawmatt/gists{/gist_id}","starred_url":"https://api.github.com/users/rawmatt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rawmatt/subscriptions","organizations_url":"https://api.github.com/users/rawmatt/orgs","repos_url":"https://api.github.com/users/rawmatt/repos","events_url":"https://api.github.com/users/rawmatt/events{/privacy}","received_events_url":"https://api.github.com/users/rawmatt/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-01-30T22:07:18Z","updated_at":"2015-06-15T17:54:58Z","closed_at":"2015-03-09T01:32:54Z","body":"The GUI doesn't scale to UHD resolution. At UHD resolution Protege is too small to use.\r\n\r\nI am running 3840x2160 on Windows 8.1, on an ordinary Lenovo laptop. This resolution is increasingly mainstream nowadays.\r\n\r\nChanging the font size makes the text content grow to be readable, but not the screens and their labels.\r\n\r\nPlease support scaling to UHD."},"comment":{"url":"https://api.github.com/repos/protegeproject/protege/issues/comments/112152847","html_url":"https://github.com/protegeproject/protege/issues/115#issuecomment-112152847","issue_url":"https://api.github.com/repos/protegeproject/protege/issues/115","id":112152847,"user":{"login":"pfps","id":6618235,"avatar_url":"https://avatars.githubusercontent.com/u/6618235?v=3","gravatar_id":"","url":"https://api.github.com/users/pfps","html_url":"https://github.com/pfps","followers_url":"https://api.github.com/users/pfps/followers","following_url":"https://api.github.com/users/pfps/following{/other_user}","gists_url":"https://api.github.com/users/pfps/gists{/gist_id}","starred_url":"https://api.github.com/users/pfps/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pfps/subscriptions","organizations_url":"https://api.github.com/users/pfps/orgs","repos_url":"https://api.github.com/users/pfps/repos","events_url":"https://api.github.com/users/pfps/events{/privacy}","received_events_url":"https://api.github.com/users/pfps/received_events","type":"User","site_admin":false},"created_at":"2015-06-15T17:54:58Z","updated_at":"2015-06-15T17:54:58Z","body":"Hi:\r\n\r\nWhat did you do to get the text size changed?\r\n\r\npeter"}}