{"push_id":662242113,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9499e02420dcc440283e6aac04ea0239af6d788d","before":"5f96f9d7e4e58c344df32c7a55ee94668aa0efff","commits":[{"sha":"9499e02420dcc440283e6aac04ea0239af6d788d","author":{"email":"fed04a3b2f3f8a239d2a62dc5dfec37cf522cb6d@my.jcu.edu.au","name":"Adam Rehn"},"message":"Added the option to change the table row height padding.\n\nPreviously, the padding added to the row height for the main table was hardcoded.\nThe padding value can now be modified by the user through the preferences dialog.\nThe old hardcoded value is used as the default value for the new preference.","distinct":true,"url":"https://api.github.com/repos/adamrehn/jabref/commits/9499e02420dcc440283e6aac04ea0239af6d788d"}]}