src/CliMenuBuilder.php 1 location
|
@@ 282-286 (lines=5) @@
|
| 279 |
|
$this->style['borderBottomWidth'] = $topWidth; |
| 280 |
|
$this->style['borderLeftWidth'] = $topWidth; |
| 281 |
|
$colour = $rightWidth; |
| 282 |
|
} elseif (!is_int($bottomWidth)) { |
| 283 |
|
$this->style['borderBottomWidth'] = $topWidth; |
| 284 |
|
$this->style['borderLeftWidth'] = $rightWidth; |
| 285 |
|
$colour = $bottomWidth; |
| 286 |
|
} elseif (!is_int($leftWidth)) { |
| 287 |
|
$this->style['borderLeftWidth'] = $rightWidth; |
| 288 |
|
$colour = $leftWidth; |
| 289 |
|
} |
src/MenuStyle.php 1 location
|
@@ 447-451 (lines=5) @@
|
| 444 |
|
if (!is_int($rightWidth)) { |
| 445 |
|
$this->borderRightWidth = $this->borderBottomWidth = $this->borderLeftWidth = $topWidth; |
| 446 |
|
$colour = $rightWidth; |
| 447 |
|
} elseif (!is_int($bottomWidth)) { |
| 448 |
|
$this->borderBottomWidth = $topWidth; |
| 449 |
|
$this->borderLeftWidth = $rightWidth; |
| 450 |
|
$colour = $bottomWidth; |
| 451 |
|
} elseif (!is_int($leftWidth)) { |
| 452 |
|
$this->borderLeftWidth = $rightWidth; |
| 453 |
|
$colour = $leftWidth; |
| 454 |
|
} |