From: Javier Sancho <jsf@jsancho.org>
Date: Mon, 27 Apr 2020 06:44:22 +0000 (+0200)
Subject: Scrollbars are GUI elements too
X-Git-Url: https://git.jsancho.org/?a=commitdiff_plain;ds=sidebyside;h=3bfc63a85508e3d6b6b5879a980c1798225a6d89;hp=3bfc63a85508e3d6b6b5879a980c1798225a6d89;p=guile-irrlicht.git

Scrollbars are GUI elements too
---