search

GateNLP / gate-core

The GATE Embedded core API and GATE Developer application
GNU Lesser General Public License v3.0
75 stars 29 forks source link

Renaming an open resource doesn't change the tab title #73

Closed greenwoodma closed 5 years ago

greenwoodma commented 5 years ago

If you rename a resource via the tree while it's open then the tab title doesn't update

image

Here you can see I've renamed an app but the tab title is still the default name