From: Paul Hänsch Date: Wed, 17 Jul 2019 19:45:38 +0000 (+0200) Subject: more readable panel bar configuration X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=ff7369bc28efe05ace7e9900f98083e982caf3fa;hp=ff7369bc28efe05ace7e9900f98083e982caf3fa;p=blast more readable panel bar configuration ---