Lagrange [release]

Player: Wider Play/Pause button

3b67a879d5126209425f75065f0bc74d9f8bc53e
[1mdiff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c[m
[1mindex 1f0bce52..493750b3 100644[m
[1m--- a/src/ui/documentwidget.c[m
[1m+++ b/src/ui/documentwidget.c[m
[36m@@ -1614,7 +1614,7 @@[m [mstatic void init_PlayerUI(iPlayerUI *d, const iPlayer *player, iRect bounds) {[m
     d->player = player;[m
     d->bounds = bounds;[m
     const int height = height_Rect(bounds);[m
[31m-    d->playPauseRect = (iRect){ addX_I2(topLeft_Rect(bounds), gap_UI / 2), init1_I2(height) };[m
[32m+[m[32m    d->playPauseRect = (iRect){ addX_I2(topLeft_Rect(bounds), gap_UI / 2), init_I2(3 * height / 2, height) };[m
     d->rewindRect    = (iRect){ topRight_Rect(d->playPauseRect), init1_I2(height) };[m
     d->menuRect      = (iRect){ addX_I2(topRight_Rect(bounds), -height - gap_UI / 2), init1_I2(height) };[m
     d->scrubberRect  = initCorners_Rect(topRight_Rect(d->rewindRect), bottomLeft_Rect(d->menuRect));[m