theia-trace-extension
theia-trace-extension copied to clipboard
Add Arrow Up/Down and Page Up/Down support for table-output-component
trafficstars
This commit adds support for using the Arrow Up/Down and Page Up/Down to navigate across pages for views that implements the table-output-component. Previously, user can only use these keys to navigate across a page, but can not move forward or backward a page.
Fixes #848.
Signed-off-by: Hoang Thuan Pham [email protected]
Marked as draft due to the following issue:
UI/UX wise, when user switch pages, we should focus on the cell that is 1) in the same column as previously selected and 2) on the first and last row when we are going forward and backward a page, respectively. I still cannot get this working. I tried using gridAPI.setFocusedCell() but it failed.