{"push_id":2924822749,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4b3935110b39ebd62f8dfedc4eefbc9d86c455fd","before":"aa0111f7f345d72cd384869ba2e1a303c4f763cc","commits":[{"sha":"4b3935110b39ebd62f8dfedc4eefbc9d86c455fd","author":{"name":"John Harwell","email":"a51dda7c7ff50b61eaea0444371f4a6a9301e501@brainmap.wustl.edu"},"message":"WB-729 Tab Dragging: Allow graphics updates so that in tile tabs, the tab being dragged by the user is highlighted.  User-interface updates are still blocked and performance is better.  Must be enabled by selecting \"Tab Dragging (faster)\" from the Develop Menu.  Also moved this tab dragging logic out of window and into toolbar.","distinct":true,"url":"https://api.github.com/repos/Washington-University/workbench/commits/4b3935110b39ebd62f8dfedc4eefbc9d86c455fd"}]}
{"actor":{"display_login":"johnvelab"}}