]> O.S.I.I.S - jp/crow.git/commit
update source editor with font height = ascent + descent
authorJean-Philippe Bruyère <jp_bruyere@hotmail.com>
Thu, 1 Mar 2018 10:01:11 +0000 (11:01 +0100)
committerJean-Philippe Bruyère <jp_bruyere@hotmail.com>
Thu, 1 Mar 2018 10:01:11 +0000 (11:01 +0100)
commit5e055f108f17ae04f3b4dc2a81992fe7c0923f66
tree0a5517ffc7c767d0698abae2e43958704ec79c6f
parent14b1bb48973084b1028fc3f01a0aa083af23e02e
update source editor with font height = ascent + descent
CrowIDE/src/SourceEditor/SourceEditor.cs
src/GraphicObjects/Label.cs