Sets the name of this component and the Dataset Manager.
(String name)
| 75 | * Sets the name of this component and the Dataset Manager. |
| 76 | */ |
| 77 | @Override |
| 78 | public void setName(String name) { |
| 79 | name = TeXParser.parseTeX(name); |
| 80 | super.setName(name); |
| 81 | datasetManager.setName(name); |
| 82 | } |
| 83 | |
| 84 | /** |
| 85 | * Adds Views menu items on the menu bar. |