ninja-ide/ninja-ide — pull request #755 by diegosarmentero (2012-07-21 13:57:52+00:00)
Title: dark theme menu improved

dark theme menu improved