<?phpnamespace App\Gui;use JumPHP\Gui\Theme;use JumPHP\Gui\Widget;use JumPHP\Renderer\Renderer;/** The thin upright line between two groups of toolbar buttons. */final class ToolSeparator extends Widget{ protected function content(Theme $t, float $maxWidth, string $breakpoint): array { return [$t->px(13), $t->px(30)]; } public function stretches(string $axis): bool { return false; } public function render(Renderer $r, Theme $t): void { $r->fillRect($this->x + $this->w / 2, $this->y + $t->px(5), max(1, round($t->scale)), $this->h - $t->px(10), '#d7dce4'); }}