Widen dock separators to make them easier to grab (#277) - #595
Open
HaozheZhang6 wants to merge 4 commits into
Open
Widen dock separators to make them easier to grab (#277)#595HaozheZhang6 wants to merge 4 commits into
HaozheZhang6 wants to merge 4 commits into
