Closed kingcean closed 3 years ago
Fix #81. Update the property type of LineNumberWidthProperty to Int32 from Double.
LineNumberWidthProperty
Int32
Double
Fix #81. Update the property type of
LineNumberWidthProperty
toInt32
fromDouble
.