bugfix: use border color in scrollbars

akkartik

Dec 2, 2023, 4:20 AM

QLJY3CKC3I5PMZNAKKZWOWVU7EX3PWXZYQN6G7462UQLDKKTUAHQC

Dependencies

• [2] FIUQJVL2 first draft of load/save buttons
• [3] 7GQZC7KN bugfix: bring output border up to date
• [4] 6RYGW5H3 bugfix: output border color
• [5] Z5M23NTK implement second, 'output' editor
• [6] MZ3DMYPD start sketching out a scrollbar
• [7] 5RUFNRJO start of the visual skeleton
• [8] VAVXKWZV aggregate global state inside a 'pane' object
• [*] R5QXEHUI somebody stop me

Change contents

• file addition: 0149-Border_color (----------)
  [10.2]
  + Border_color = {r=0.5, g=0.5, b=0.5}
• replacement in 0034-draw_scrollbar at line 2
  [4.829]→[4.2438:2463](∅→∅),[4.2438]→[4.2438:2463](∅→∅)
  − App.color(Normal_color)
  [4.829]

  [4.830]
  + App.color(Border_color)
• replacement in 0028-draw_output_border at line 2
  [4.34]→[3.124:156](∅→∅)
  − App.color{r=0.5, g=0.5, b=0.5}
  [4.34]

  [4.34]
  + App.color(Border_color)
• replacement in 0020-draw_editor_border at line 2
  [4.1173]→[2.3386:3418](∅→∅)
  − App.color{r=0.5, g=0.5, b=0.5}
  [4.1173]

  [4.2221]
  + App.color(Border_color)