Theia: vsx: update extension information in the extension-editor

[vince-fugnitto]

Description

There are some key differences between our extension headers, and that of vscode, namely:

• ~we include a globe icon (not sure as to what the reason might be - perhaps global install?)~
• the alignment of items in the header are different than vscode (harder to read, inconsistent)
• ~we omit data, for example the license field (brackets has a license in open-vsx but none is shown in the editor)~: #7381
• font-weight of action items are inconsistent

_Theia_

_VS Code_

[vince-fugnitto]

@kaiyue0329 would you like to address the issue?

[vince-fugnitto]

The license bug might be related to:

• https://github.com/eclipse-theia/theia/issues/7381

[akosyakov]

we include a globe icon (not sure as to what the reason might be - perhaps global install?)

global means that namespace is not claimed and anyone can publish, please read tooltip on hover

[akosyakov]

we omit data, for example the license field (brackets has a license in open-vsx but none is shown in the editor)

Because of https://github.com/eclipse-theia/theia/issues/7381?

[vince-fugnitto]

we include a globe icon (not sure as to what the reason might be - perhaps global install?)

global means that namespace is not claimed and anyone can publish, please read tooltip on hover

I was wondering it it made sense for end-users to see this info?
I understand it is present in the open-vsx, but is it useful for end-users?

[vince-fugnitto]

we omit data, for example the license field (brackets has a license in open-vsx but none is shown in the editor)

Because of #7381?

Right, I mentioned it https://github.com/eclipse-theia/theia/issues/7434#issuecomment-605048757

[akosyakov]

I understand it is present in the open-vsx, but is it useful for end-users?

Yes, it is important that one who instals was aware that an extension is not published by verified author but by some person on the internet.

[vince-fugnitto]

I understand it is present in the open-vsx, but is it useful for end-users?

Yes, it is important that one who instals was aware that an extension is not published by verified author but by some person on the internet.

Thank you for clarifying for me :)