Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
table-generator: add sorting feature to columns #130
changed the title
Benchexec table generator: add sorting feature to columns
Apr 10, 2016
Note that since you added the floating header you need to click on a cell in the table body for sorting if you use a browser plugin, clicking on a cell in the table header won't work anymore, not even in Firefox. Do the existing plugins still not work with our tables even if you do this?
I do not have time to work on this, unfortunately, but if somebody sends a pull request, I would merge it. Before it is worked on this feature, however, there should be a discussion of how to design the feature, i.e., where to integrate the UI for it.