{"action":"created","issue":{"url":"https://api.github.com/repos/uds-datalab/PDBF/issues/27","repository_url":"https://api.github.com/repos/uds-datalab/PDBF","labels_url":"https://api.github.com/repos/uds-datalab/PDBF/issues/27/labels{/name}","comments_url":"https://api.github.com/repos/uds-datalab/PDBF/issues/27/comments","events_url":"https://api.github.com/repos/uds-datalab/PDBF/issues/27/events","html_url":"https://github.com/uds-datalab/PDBF/issues/27","id":130758679,"number":27,"title":"Modularize PDBF elements","user":{"login":"IchbinkeinReh","id":12527468,"avatar_url":"https://avatars.githubusercontent.com/u/12527468?v=3","gravatar_id":"","url":"https://api.github.com/users/IchbinkeinReh","html_url":"https://github.com/IchbinkeinReh","followers_url":"https://api.github.com/users/IchbinkeinReh/followers","following_url":"https://api.github.com/users/IchbinkeinReh/following{/other_user}","gists_url":"https://api.github.com/users/IchbinkeinReh/gists{/gist_id}","starred_url":"https://api.github.com/users/IchbinkeinReh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IchbinkeinReh/subscriptions","organizations_url":"https://api.github.com/users/IchbinkeinReh/orgs","repos_url":"https://api.github.com/users/IchbinkeinReh/repos","events_url":"https://api.github.com/users/IchbinkeinReh/events{/privacy}","received_events_url":"https://api.github.com/users/IchbinkeinReh/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/uds-datalab/PDBF/labels/2-medium-priority","name":"2-medium-priority","color":"fbca04"},{"url":"https://api.github.com/repos/uds-datalab/PDBF/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/uds-datalab/PDBF/milestones/6","html_url":"https://github.com/uds-datalab/PDBF/milestones/1.3","labels_url":"https://api.github.com/repos/uds-datalab/PDBF/milestones/6/labels","id":1559223,"number":6,"title":"1.3","description":"","creator":{"login":"IchbinkeinReh","id":12527468,"avatar_url":"https://avatars.githubusercontent.com/u/12527468?v=3","gravatar_id":"","url":"https://api.github.com/users/IchbinkeinReh","html_url":"https://github.com/IchbinkeinReh","followers_url":"https://api.github.com/users/IchbinkeinReh/followers","following_url":"https://api.github.com/users/IchbinkeinReh/following{/other_user}","gists_url":"https://api.github.com/users/IchbinkeinReh/gists{/gist_id}","starred_url":"https://api.github.com/users/IchbinkeinReh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IchbinkeinReh/subscriptions","organizations_url":"https://api.github.com/users/IchbinkeinReh/orgs","repos_url":"https://api.github.com/users/IchbinkeinReh/repos","events_url":"https://api.github.com/users/IchbinkeinReh/events{/privacy}","received_events_url":"https://api.github.com/users/IchbinkeinReh/received_events","type":"User","site_admin":false},"open_issues":1,"closed_issues":2,"state":"open","created_at":"2016-02-02T17:45:50Z","updated_at":"2016-04-11T02:04:16Z","due_on":null,"closed_at":null},"comments":3,"created_at":"2016-02-02T17:45:37Z","updated_at":"2016-07-26T21:56:00Z","closed_at":null,"body":"Modularize PDBF elements and implement a simple api that users can use to create their own PDBF elements"},"comment":{"url":"https://api.github.com/repos/uds-datalab/PDBF/issues/comments/235418173","html_url":"https://github.com/uds-datalab/PDBF/issues/27#issuecomment-235418173","issue_url":"https://api.github.com/repos/uds-datalab/PDBF/issues/27","id":235418173,"user":{"login":"wetneb","id":309908,"avatar_url":"https://avatars.githubusercontent.com/u/309908?v=3","gravatar_id":"","url":"https://api.github.com/users/wetneb","html_url":"https://github.com/wetneb","followers_url":"https://api.github.com/users/wetneb/followers","following_url":"https://api.github.com/users/wetneb/following{/other_user}","gists_url":"https://api.github.com/users/wetneb/gists{/gist_id}","starred_url":"https://api.github.com/users/wetneb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wetneb/subscriptions","organizations_url":"https://api.github.com/users/wetneb/orgs","repos_url":"https://api.github.com/users/wetneb/repos","events_url":"https://api.github.com/users/wetneb/events{/privacy}","received_events_url":"https://api.github.com/users/wetneb/received_events","type":"User","site_admin":false},"created_at":"2016-07-26T21:56:00Z","updated_at":"2016-07-26T21:56:00Z","body":"Fantastic! I am familiar with Java and Javascript, yes. Help on the LaTeX would be more than welcome indeed :-)\r\n\r\nI'm not quite sure what would be the most interesting widget to implement. One obvious thing to try would be to implement a textarea like the ones here: https://x80.org/rhino-coq/\r\n\r\nBut it is not clear to me that this would be very usable in a research paper (where only a few interesting parts of the formal development are shown in the paper). Anyway this is essentially an UI issue so once the basic machinery is in place it shouldn't be too hard to make it more usable."}}
{"actor":{"display_login":"wetneb"}}