Width of top border should be wider to make it easy to resize window #4782

Closed

luixxiul opened this issue Oct 14, 2016 · 25 comments

Closed

Width of top border should be wider to make it easy to resize window #4782

luixxiul opened this issue Oct 14, 2016 · 25 comments