Hi FYI.
JMP can be used with different language settings.
When a user changes the language, in general a command keeps its "internal name"
- and the title is displayed in the other language:
e.g.
internal name: DATA FILTER
Title: Datenfilter
But there are some exceptions - like the local data filter in the Report toolbar *)
Internal name (german setting) : LOKALER DATENFILTER
Title: Lokaler Datenfilter