Theia: two ':' in the code of 'mask'

[kpge]

Description

I find two ':' in the code , is this a mistake?

Reproduction Steps

OS and Theia version:

Diagnostics:

[kittaakos]

@kpge, you can acquire a permanent link on GH: https://help.github.com/en/articles/creating-a-permanent-link-to-a-code-snippet
No need to printscreen and attach the source code anymore ;)

[vince-fugnitto]

@kpge it looks to be a mistake, would you like to take care of it?

https://github.com/theia-ide/theia/blob/6dd2579d01d61f093d258ad69978df0fc27aa184/packages/plugin-ext/src/main/browser/view/view-registry.ts#L57-L59

Based on other examples of mask:
https://github.com/theia-ide/theia/blob/6dd2579d01d61f093d258ad69978df0fc27aa184/packages/debug/src/browser/style/index.css#L159-L162

[akosyakov]

good catch, PRs are welcomed!