remember when someone deletes an example

akkartik

Nov 23, 2023, 5:22 AM

6MQCFHXML2SDC6NMWJFOPQFQTMRUVKNNUBYZQ3HBSJQZOWA6XD2QC

Dependencies

• [2] YV2GBDNW preserve settings across restart
• [3] MJ6KKFVT give example panes a name
• [4] OOSUBWKX subject people to a tutorial
• [*] R5QXEHUI somebody stop me
• [*] RK2ASPN7 add lots of buttons to the toolbar

Change contents

• file addition: 0113-Deleted_example_panes (----------)
  [6.2]
  + Deleted_example_panes = {} -- array of names of example panes
• file addition: 0112-load_example_panes (----------)
  [6.2]
  + load_example_panes = function()

  + for _,ex in ipairs(Example_panes) do

  + if Deleted_example_panes[ex.name] == nil then

  + table.insert(Panes, example_pane(ex.name, ex.lines))

  + end

  + end

  + end
• edit in 0099-on.load_settings at line 10
  [2.394]

  [2.394]
  + Deleted_example_panes = settings.deleted_example_panes
• replacement in 0098-on.save_settings at line 5
  [2.554]→[2.554:592](∅→∅)
  − background_color = Background_color
  [2.554]

  [2.592]
  + background_color = Background_color,

  + deleted_example_panes = Deleted_example_panes,
• edit in 0078-Example_panes at line 3
  [3.196]

  [4.110]
  + -- Be careful not to rename example panes; that will cause them to pop up again and annoy people who've already deleted them.

  + -- If you delete a name, be careful not to reuse it in future.
• replacement in 0077-example_pane at line 3
  [4.1774]→[3.3932:3952](∅→∅)
  − result.name = name
  [4.1774]

  [4.1774]
  + result.example_name = name
• edit in 0076-delete_pane_button at line 19
  [7.350]

  [7.350]
  + if Current_pane.example_name then

  + Deleted_example_panes[Current_pane.example_name] = true

  + end