directory /include/gui/widgets/ @ 55:d10b6c6b432e

name size permissions
[up] drwxr-xr-x
file optional_date.h 672 -rw-r--r--
file sidebar.h 790 -rw-r--r--
file text.h 1682 -rw-r--r--