transparent highlights work with more colors

akkartik

Sep 19, 2024, 7:34 PM

SFDYC6DLWW6PY5SRLY5DJXS6AVNBKHNGHRXP25FUR34K4UPYPEZAC

Dependencies

• [2] 4KC7I3E2 make colors easier to edit
• [3] UHB4GARJ left/right margin -> left/right coordinates
• [4] 2L5MEZV3 experiment: new edit namespace
• [5] KKMFQDR4 editing source code from within the app

Change contents

• replacement in edit.lua at line 8
  [2.781]→[2.781:839](∅→∅)
  − Highlight_color = {r=0.7, g=0.7, b=0.9} -- selected text
  [2.781]

  [2.839]
  + Highlight_color = {r=0.7, g=0.7, b=0.9, a=0.4} -- selected text