Extension button to open in Gitpod is lacking proper spacing (margin) when viewing tree files

[gtsiolis]

Bug description

See button spacing in the following screenshot:

Thanks @andreafalzetti for noticing! 🏀

Steps to reproduce

Go to any repository while having the browser extension installed and open a single file from the tree.
For example, try opening .gitpod.yml from gitpod-io/gitpod.

Workspace affected

No response

Expected behavior

No response

Example repository

No response

Anything else?

No response

[gtsiolis]

Closing this as it has been already resolved in gitpod-io/browser-extension#63.

We just released v1.16 that includes the fix. Thanks @andreafalzetti!