gmsh.view.getNames(viewTags) API function
In our local set of functions built on top of the API, there's a function to get view names through the options interface.
def getViewNames(viewTags):
return [gmsh.option.getString(f'View[{tag}].Name') for tag in viewTags]
Do you think this could be a good addition to the API? I understand if you want to minimize the amount of functions in there, especially if you can get this sort of information through other means.