| 407 | } |
| 408 | |
| 409 | layoutProblems() { |
| 410 | this.problemsMenu = blessed.listbar({ |
| 411 | label: "Problems", |
| 412 | mouse: true, |
| 413 | width: "50%", |
| 414 | height: "38%", |
| 415 | left: "50%", |
| 416 | top: "63%", |
| 417 | border: { |
| 418 | type: "line" |
| 419 | }, |
| 420 | padding: { |
| 421 | top: 1 |
| 422 | }, |
| 423 | style: { |
| 424 | border: { |
| 425 | fg: this.color |
| 426 | }, |
| 427 | prefix: { |
| 428 | fg: -1 |
| 429 | }, |
| 430 | item: { |
| 431 | fg: "white" |
| 432 | }, |
| 433 | selected: { |
| 434 | fg: "black", |
| 435 | bg: this.color |
| 436 | } |
| 437 | }, |
| 438 | autoCommandKeys: true |
| 439 | }); |
| 440 | |
| 441 | this.problems = blessed.box( |
| 442 | Object.assign({}, DEFAULT_SCROLL_OPTIONS, { |
| 443 | parent: this.problemsMenu, |
| 444 | padding: 1, |
| 445 | border: { |
| 446 | fg: -1 |
| 447 | }, |
| 448 | style: { |
| 449 | fg: -1, |
| 450 | border: { |
| 451 | fg: this.color |
| 452 | } |
| 453 | }, |
| 454 | tags: true |
| 455 | }) |
| 456 | ); |
| 457 | |
| 458 | this.screen.append(this.problemsMenu); |
| 459 | } |
| 460 | |
| 461 | // eslint-disable-next-line complexity |
| 462 | layoutStatus() { |