Why is tab Id different for different file formats?

#1

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”

image
image1559×542 51.5 KB

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”
image
image1491×557 50 KB

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
image1508×556 49.9 KB

how could I do to make my file use the same “c%3A”

#2

Can you share some code containing some more info on how you create the id of your widget custom widget? The tabbar id is simply generated from the widget id, see here.

#3

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:”.

image
image997×577 60 KB

image
image934×450 43.7 KB

#4

Then the issue is very likely related to the Eclipse GLSP Theia integration. You’ll need to file an issue there.

#5

@wss for additional information, Mark is suggesting opening a discussion at eclipse-glsp/glsp · Discussions · GitHub since it seems specific to the GLSP project itself.

#6

hi,
I create a discussion in GLSP project Why is tab Id different for different file formats? · eclipse-glsp/glsp · Discussion #1040 · GitHub