From 56ccfb913c1403d21c3987a82a5ab7bba481700a Mon Sep 17 00:00:00 2001 From: Manolis Papadakis Date: Mon, 23 Oct 2023 13:08:27 -0700 Subject: [PATCH] Add TODO item (#37) --- TODO.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/TODO.md b/TODO.md index 535adde..2b697e3 100644 --- a/TODO.md +++ b/TODO.md @@ -52,3 +52,6 @@ - [ ] Parse provenance information, according to https://github.com/StanfordLegion/legion/issues/1554 - [ ] Include in the window title the directory where the profile logs are - [ ] In server mode, add a form on the top-level served page, where the user can specify which files to open, instead of having to enter this information manually on the URL as a GET `url=` parameter +- [ ] Vertical scrolling within the "control widgets" group + + Currently if there is not enough vertical space, the "Controls" and "Search" boxes will overlap the footer with the "Show Controls" button, and there is no way to access that, or any controls that are out of view. The footer should always be visible, and anything on top of it should reflow within the available vertical space, with a vertical scrollbar.