Dave Davenport ecc9bcc270 Re-add some of the old theme options, so theme converter use them. ... - line margin - separator style. - fake transparency. - line padding. - scrollbar width		2017-07-06 18:20:32 +02:00
..
config.c	Re-add some of the old theme options, so theme converter use them.	2017-07-06 18:20:32 +02:00