ninja-ide/ninja-ide — pull request #1752 by LuqueDaniel (2014-05-07 08:40:36+00:00)
Title: Adds total projects number to project explorer

![seleccin_001](https://cloud.githubusercontent.com/assets/1286535/2900173/2c64b9e6-d5c3-11e3-8b81-41621c432760.png)