CodeExplorer boxText example
$out .=
$this->
renderHeader($o);
$out .=
$this->
renderChildren($o).PHP_EOL;
return $out;
} public function renderNothing(): string
{ if (self::
$decorations) { return $this->
colorTitle( $this->
boxText('No argument',
$this->header_width
) ).PHP_EOL;
} return $this->
colorTitle('No argument'
).PHP_EOL;
} public function boxText(string
$text, int
$width): string
{ $out = '┌'.\
str_repeat('─',
$width - 2
).'┐'.PHP_EOL;
if (\
strlen($text)) {