Michał Krassowski

Update button should give feedback on click and should be friendly for users with eyesight issues

1

## Is your feature request related to a problem? Please describe. Diffing moderate-size notebooks takes time even at a very high-spec machine; diffing large notebooks will always take some time;...

## Description When ipydrawio which adds a custom DocRegistry FileType (which was only recently fixed https://github.com/jupyterlab/jupyterlab/pull/9958) is installed an incorrect icon is shown for notebook. ## Reproduce 1. Install JupyterLab...

## Description Default or custom shortcuts are not applied to the diffs, for example the default: ```js { "command": "application:close", "keys": [ "Alt W" ], "selector": ".jp-Activity" } ``` This...

Stuck git lockfile causes severe delays to IO operations in JupyterLab

2

## Description Sometimes the git lock file gets stuck, because the process that was locking was terminated and it was not removed properly. This is *not* a fault of this...

Implement tab scrolling on tabbar

5

As a solution to https://github.com/jupyterlab/jupyterlab/issues/10305 I would like to propose adding (optional) tabbar scrolling. Downstream applications need to define `min-width` on tabs for scrolling to work reasonably. Associated JupyterLab PR:...

Dynamic extensions reloading: `IPlugin.deactivate`, `Application.registerPlugin` and `Application.deactivatePlugin` proposal

6

### Problem The dynamic extensions provided by [`jupyterlab-plugin-playground`](https://github.com/jupyterlab/jupyterlab-plugin-playground) cannot be registered more than once with the same id. This forces the user to reload the page every time, or at...

This is an attempt to see if `Node.contains` solves https://github.com/jupyterlab/jupyterlab/issues/9757 as suggested in https://github.com/jupyterlab/jupyterlab/issues/9757#issuecomment-997357312: Results are inconclusive. While it avoids reflows due to moving mouse over menu items, If my...

Commands shortcuts should provide `aria-keyshortcuts`

1

For better accessibility, we could implement [aria-keyshortcuts](https://w3c.github.io/aria/#aria-keyshortcuts). I guess that would be another function taking the keystroke and returning the aria-label (or maybe `formatKeystroke` could return both `{label: string, aria:...

Currently, the menu widgets are either: - commands, - separators, or - submenus however, the developer API is not as convenient to use for submenus as it is for commands....

Seeding from `jupyterlab-git` action