)]}' { "commit": "f8d3d8d7f5415e889315c6b7de430ead61ae7aeb", "tree": "ab26d58163b63c96281c13a0306d7cc787c73c5e", "parents": [ "bfcdaeb6108e5473a967532c712ed36d56d2fee9" ], "author": { "name": "omar", "email": "omarcornut@gmail.com", "time": "Thu Aug 29 12:13:29 2019 +0200" }, "committer": { "name": "omar", "email": "omarcornut@gmail.com", "time": "Thu Aug 29 12:21:09 2019 +0200" }, "message": "TabBar: improved shrinking for large number of tabs to avoid leaving extraneous space on the right side. Individuals tabs are given integer-rounded width and remainder is spread between tabs left-to-right.\n", "tree_diff": [ { "type": "modify", "old_id": "9dee4195b74e05298eabe6072a54062980f1984f", "old_mode": 33188, "old_path": "docs/CHANGELOG.txt", "new_id": "649e75ed1282e6856e5dc6cd38f6459ab51decb2", "new_mode": 33188, "new_path": "docs/CHANGELOG.txt" }, { "type": "modify", "old_id": "79f5b2d490a3dc807a62f62f689c30dedb63d7ff", "old_mode": 33188, "old_path": "imgui_widgets.cpp", "new_id": "42e132436e2717c52f13c8ae13591c090d0afa51", "new_mode": 33188, "new_path": "imgui_widgets.cpp" } ] }