4 ms·

this is so close to vscode UI, that I wonder - how difficult would it be to implement something like this on top of the vscode plugin system ?