ninja-ide/ninja-ide — Issue #318: Fix font selection and margin line on windows
Author: diegosarmentero
Created: 2012-03-06 11:25:08+00:00
State: open
Labels: Windows Specific

Fix font selection and margin line on windows