Allow double-clicking a gutter between panels to reset its sizing to default#4000

Keavon merged 1 commit intomasterGraphiteEditor/Graphite:masterfrom

reset-panel-sizingGraphiteEditor/Graphite:reset-panel-sizingCopy head branch name to clipboard