{"push_id":632675820,"size":2,"distinct_size":2,"ref":"refs/heads/plugin_manager_usability","head":"f9776282a67be3af912b571f8985a24b0f819b0b","before":"f328bcfb6297df6cea9728f8884569f6f1ecf02d","commits":[{"sha":"b0f7f2859ba46e908e84c75b68e72908ac20d06d","author":{"email":"24b46009562890dfad410fa54b380e59593a79cf@uvena.de","name":"Enrico Tröger"},"message":"Add a filter entry in the plugin manager dialog\n\nLet the user filter plugins by searching the plugin names and descriptions.\nWhile at it, group the plugin buttons into the dialog's action area to\nsave some space.\nRename OK button to Close in the plugin manager dialog\nSet the input focus to the filter entry and set initial plugin button state","distinct":true,"url":"https://api.github.com/repos/eht16/geany/commits/b0f7f2859ba46e908e84c75b68e72908ac20d06d"},{"sha":"f9776282a67be3af912b571f8985a24b0f819b0b","author":{"email":"af18a4329e30c3b95edc4d3e647176d16d87c9c7@gmail.com","name":"Jiří Techet"},"message":"Improved search for the plugin manager\n\nSearch in name, description, author fields and show all results\nwhich contain all the words from the search query.\nSearch plugins also by filename","distinct":true,"url":"https://api.github.com/repos/eht16/geany/commits/f9776282a67be3af912b571f8985a24b0f819b0b"}]}