Make active panel's button close its dock

76927b6d95Max Brunsfeld committed on 5/31/2023, 5:29:59 PMparent584e5f7
1 file changedLine totals unavailable