refresh


Description:

public void refresh ()

Refresh the project list from ProjectManager. No-op since we use ProjectList directly - it updates automatically.