search

VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

"NoCollisionSpec" #8

Closed wadoon closed 7 years ago

wadoon commented 7 years ago

After loading "minmax.xml" specification, "NoCollisionSpec" is in the tab title.

grafik

There should be the filename.

limond commented 7 years ago

This is most likely expected behaviour since the title is taken from the 'title' attribute (if specified) of the root node of a specification file. The title of a specification does not have to be its filename. The name of a specification can be changed by opening the context menu of a tab and choosing the 'Rename' option.

wadoon commented 7 years ago

If no name are present, the filename should be taken.