From 86f5ff7c885603cc45b0e79f1ff2c2cb8b5d093c Mon Sep 17 00:00:00 2001 From: "Afshin T. Darian" Date: Thu, 14 Dec 2023 13:59:13 +0000 Subject: [PATCH 01/10] Add virtual scrollbar component to windowed lists. --- docs/source/developer/performance.rst | 2 +- docs/source/extension/extension_migration.rst | 3 + examples/notebook/src/index.ts | 7 +- galata/src/helpers/notebook.ts | 4 +- .../commandsList-documentation-linux.json | 6 + .../jupyterlab-documentation-linux.png | Bin 127643 -> 127644 bytes .../running-layout-documentation-linux.png | Bin 22828 -> 14975 bytes ...sion-global-variables-jupyterlab-linux.png | Bin 6597 -> 4298 bytes ...debug-session-sources-jupyterlab-linux.png | Bin 4639 -> 3121 bytes ...bug-session-variables-jupyterlab-linux.png | Bin 4129 -> 2248 bytes ...der-mermaid-flowchart-jupyterlab-linux.png | Bin 15921 -> 10347 bytes ...un-cells-dark-mermaid-jupyterlab-linux.png | Bin 21019 -> 14827 bytes .../run-cells-mermaid-jupyterlab-linux.png | Bin 21070 -> 14894 bytes ...in-two-selected-cells-jupyterlab-linux.png | Bin 48628 -> 48624 bytes ...earch-on-deleted-cell-jupyterlab-linux.png | Bin 25887 -> 42820 bytes .../search-on-new-cell-jupyterlab-linux.png | Bin 23896 -> 35196 bytes ...search-within-outputs-jupyterlab-linux.png | Bin 35933 -> 38926 bytes .../readonly-jupyterlab-linux.png | Bin 10854 -> 4475 bytes ...r-jp-running-sessions-jupyterlab-linux.png | Bin 14380 -> 8790 bytes .../test/jupyterlab/windowed-notebook.test.ts | 2 +- packages/lsp/src/adapters/tracker.ts | 1 - packages/notebook-extension/schema/panel.json | 7 +- packages/notebook-extension/src/index.ts | 51 +++- packages/notebook/src/searchprovider.ts | 2 +- packages/notebook/src/widget.ts | 53 +++- packages/notebook/src/windowing.ts | 4 +- packages/notebook/style/base.css | 22 +- packages/pluginmanager-extension/package.json | 1 - .../ui-components/src/components/toolbar.tsx | 32 ++ .../src/components/windowedlist.ts | 286 +++++++++++++++--- packages/ui-components/style/windowedlist.css | 44 ++- 31 files changed, 469 insertions(+), 58 deletions(-) diff --git a/docs/source/developer/performance.rst b/docs/source/developer/performance.rst index 9476418b1382..dda70d326bad 100644 --- a/docs/source/developer/performance.rst +++ b/docs/source/developer/performance.rst @@ -15,7 +15,7 @@ This widget will have a DOM structure like this: