@return Workspace navigator. Will be null if the current workspace is null.
()
| 243 | * @return Workspace navigator. Will be {@code null} if the current workspace is {@code null}. |
| 244 | */ |
| 245 | public WorkspaceNavigator getNavigator() { |
| 246 | return navigator; |
| 247 | } |
| 248 | |
| 249 | /** |
| 250 | * @param controller |