mono/MonoGame — pull request #2493 by tomspilman (2014-05-08 03:48:03+00:00)
Title: Pipeline GUI Menus

The pipeline tool menus now correctly update based on the project loading/building state.