Why is tab Id different for different file formats?

[wss29]

Hi,
I use playwright to test my application, I open a simple text, and the tab selector is as follows
“shell-tab-code-editor-opener:file:///c%3A/Users/hp/AppData/Local/Temp/cloud-ws-93AtDa/sample.txt:1”

I open my custom file. the tab selector is as follows
“shell-tab-vdm-diagram:file:///c:/Users/hp/AppData/Local/Temp/cloud-ws-93AtDa/example.vdm”

the difference is that the simple.txt use “c%3A” but my file use “c:”, why does this difference exist, I think the tab id is generated by Theia, it should be the same for every tab id.
because of this difference, I can not use the same method for both file formats

image
image
1491×557 50 KB

image

[wss29]

Hi,
my vdm format in fact is a glsp diagram, so the widget id is created by the glsp manager. I debug and find that it uses uri.Tostring(true) which translates “c%3A” to “c:”.


this makes glsp diagram file tab id is different from other file tab id in theia.

[planger]

You are right, this is what causes the difference. I agree that this difference to the Theia text editor may be somewhat cumbersome. Please feel free to open a PR that aligns the ID for GLSP editors with the ones of Theia text editor.