EditorTabTitleProvider not syncing to Gateway thin client in Remote Development

Hello :waving_hand:

I’m developing a plugin (Smart Tab Paths) that customizes editor tab titles using EditorTabTitleProvider.

The plugin works correctly in the local IDE, but doesn’t work with JetBrains Gateway Remote Development.

Source for plugin: GitHub - IAmRadek/mcname

So basically I connect to VPS where I have all my projects.
And what I can see in logs on the remote host is:

  • getEditorTabTitle() is called on the backend and returns the correct formatted title
  • FileEditorManagerEx.updateFilePresentation() executes without errors
  • The Gateway thin client never reflects the custom title - tabs show default filename

Question:
Is EditorTabTitleProvider expected to work with Remote Development?

If so, is there a specific API or approach needed to propagate tab title changes to the Gateway frontend? Or is this a current platform limitation?

Any guidance appreciated.

I’ve discovered something: when I list files using Command + P, I can see my plugin is working, and filenames are changed according to the configuration.

So what gives that it’s working in one view but not in the other?