search

sgimenez / laby

Learn programming, playing with ants and spider webs ;-)
https://sgimenez.github.io/laby/
Other
98 stars 39 forks source link

src/gfx.ml: Fix height of help sourceview. #36

Closed yurug closed 9 years ago

yurug commented 9 years ago

Help view was not displayed on Ubuntu (and I guess any recent version of lablgtksourceview). This patch fixes that.