ninja-ide/ninja-ide — pull request #100 by diegosarmentero (2011-12-02 19:29:57+00:00)
Title: HOTFIX (and trivial) for Profile list selection

HOTFIX (and trivial) for Profile list selection