Hello ![]()
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.