bugfix: bring output border up to date

akkartik

Nov 26, 2023, 6:34 PM

7GQZC7KNFO63FDEAE3DUA43DCZ4MJDO3R4IYV2NVZANR5PQOVLNAC

Dependencies

• [2] 6RYGW5H3 bugfix: output border color
• [3] 5RUFNRJO start of the visual skeleton

Change contents

• replacement in 0028-draw_output_border at line 2
  [3.34]→[2.106:131](∅→∅)
  − App.color(Normal_color)
  [3.34]

  [3.34]
  + App.color{r=0.5, g=0.5, b=0.5}