eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
20.11k stars 2.5k forks source link

VS Plugin installed but not working #5992

Open alesanchezr opened 5 years ago

alesanchezr commented 5 years ago

Description

I have added the follwing extension to gitpod and it does not seem to work: https://github.com/alesanchezr/python-string-sql

Reproduction Steps

You can install the extension from here: https://github.com/alesanchezr/python-string-sql/blob/master/docs/python-string-sql-1.1.0.vsix

Create a python file like this:

some_sql = """
--sql
INSERT * into
;
"""

some_html = f"""
--html
<p class="{bob}">{hello}</p>
--!html
"""

The python string should be highlighted with SQL or HTML syntax respectively like this:

Screen Shot 2019-08-20 at 2 24 42 AM

OS and Theia version: Gitpod.io

svenefftinge commented 5 years ago

Could be that it in Gitpod because we are still using the Theia Python extension rather than the one from VS Code. @AlexTugarev any ideas?

akosyakov commented 5 years ago

@AlexTugarev please move an issue to Gitpod if it is so

AlexTugarev commented 5 years ago

@akosyakov it looks like injectionSelector doesn't work, so this is a Theia issue.

https://code.visualstudio.com/api/language-extensions/syntax-highlight-guide#creating-a-basic-injection-grammar