{"push_id":1201229647,"size":14,"distinct_size":1,"ref":"refs/heads/master","head":"a6890771d0073989a88fe6253cc99a7c3a94f020","before":"be361f2a791a1afef0da63ad8a1b8ae9abf7dba4","commits":[{"sha":"5f68b8b352b324a9fdc5b60d83b4a76ff05029a3","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"[WIP] Restructuring DrawSequentProof","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/5f68b8b352b324a9fdc5b60d83b4a76ff05029a3"},{"sha":"6133a0beea95d9b15c19bd3d4bff14a74fc4d63d","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"Fix subproof layout.","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/6133a0beea95d9b15c19bd3d4bff14a74fc4d63d"},{"sha":"cbc992a9fc3f9d0361714b5c5674495a68f255fe","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"[WIP] Further improvements to Prooftool\n\nFixes #478","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/cbc992a9fc3f9d0361714b5c5674495a68f255fe"},{"sha":"e5b598d5cc25ba6c41de758f1bba8f5b91df3413","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"[WIP] Hiding subproofs","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/e5b598d5cc25ba6c41de758f1bba8f5b91df3413"},{"sha":"f9152132220b13a74ed862d302e006ddb4a5e0f0","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"DrawSequentProof: fix \"(...)\" label alignment","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/f9152132220b13a74ed862d302e006ddb4a5e0f0"},{"sha":"4a4ef0fcdcfff03812830c0f920ef787fcc51e9e","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"Improved context menu\n\nTwo things: One, the \"Hide proof above\" button is now a CheckMenuItem.\n\nTwo, you actually need to click on the end sequent to open the menu.\nYes, this is somewhat uncomfortable.","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/4a4ef0fcdcfff03812830c0f920ef787fcc51e9e"},{"sha":"33522987e8fa3cb7d3c93122e1754abe430bba53","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"Prooftool: Counter for hiding lines","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/33522987e8fa3cb7d3c93122e1754abe430bba53"},{"sha":"85d7b9377df732a8495c4f1cc4717357fb553ee7","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"Prooftool: Added anti-aliasing to labels\n\nAlso improved the popup menu.","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/85d7b9377df732a8495c4f1cc4717357fb553ee7"},{"sha":"8aa116ee11fab8dfe8d46aa59c90bf80b159f36a","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"Prooftool: Documentation and some restructuring","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/8aa116ee11fab8dfe8d46aa59c90bf80b159f36a"},{"sha":"e115c3002adce70c024d547d74599d73077ac26c","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"Prooftool: Removed search code","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/e115c3002adce70c024d547d74599d73077ac26c"},{"sha":"ade7229329fc38e66d749fb2429cc8ed6ca7fce9","author":{"name":"Sebastian Zivota","email":"e73bcb97e6d91384a8161d0ac5573f22913a2649@gmx.at"},"message":"[WIP] Simplifying prooftool structure\n\nThere is now an abstract subclass of ProofToolViewer for scrollable\nprooftool windows. The removal of the scroll pane from ProofToolViewer,\nwhich ExpansionSequentViewer extends, means that the preferred size of\nthe DrawSequentProof object can't be computed in the same way as before.\nTherefore, the ExpansionSequentViewer is currently somewhat broken. I\nhaven't figured out yet how to properly compute this size.","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/ade7229329fc38e66d749fb2429cc8ed6ca7fce9"},{"sha":"50e5828d21bf789ff7040e83956ee251928d509c","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"prooftool: fix padding in PTContentPanel","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/50e5828d21bf789ff7040e83956ee251928d509c"},{"sha":"be1f4cb2a92fc0889e63c451fc8d14e3277e807e","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"prooftool: fix NPE","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/be1f4cb2a92fc0889e63c451fc8d14e3277e807e"},{"sha":"a6890771d0073989a88fe6253cc99a7c3a94f020","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"Merge remote-tracking branch 'origin/prooftool-wip'","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/a6890771d0073989a88fe6253cc99a7c3a94f020"}]}
{"actor":{"display_login":"gebner"}}