2014-08-16-16.17.54: src/lib/x-kit/widget/theme/gui-displaylist.pkg: Add LINE_THICKNESS.