akkartik/wardley.love - Change XDGIFVAV2OA2LBW7P36YQXSQ7DI3RGPZA6K4CA6ILEFZ5I6VOV3AC

simplify saving settings

We don't ever call one app's settings while Current_app is the other.

Created by akkartik on July 10, 2023

XDGIFVAV2OA2LBW7P36YQXSQ7DI3RGPZA6K4CA6ILEFZ5I6VOV3AC

Dependencies

In channels

main

Change contents

Replacement in source.lua at line 276 [5.165766]

B:BD[5.173727] → [5.173727:173809]

B:BD[5.173809] → [6.478:573]

∅:D[7.297] → [5.174094:174206]

∅:D[8.647] → [5.174094:174206]

B:BD[5.174094] → [5.174094:174206]

  if Current_app == 'source' then
--?     print('reading source window position')
    Settings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()
  end
--?   print('saving source settings', Settings.source.x, Settings.source.y, Settings.source.displayindex)

[5.173727]

[3.509]

  Settings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()

Deletion in run.lua at line 155 [5.178044]
B:BD[2.59] → [2.59:65]
∅:D[2.65] → [9.89:120]
B:BD[5.182517] → [9.89:120]
B:BD[9.120] → [4.579:653]
```
  end
  if Current_app == 'run' then
    Settings.x, Settings.y, Settings.displayindex = App.screen.position()
```

Insertion in run.lua at line 156 [5.178044]

[5.182756]

  Settings.x, Settings.y, Settings.displayindex = App.screen.position()