akkartik/sokoban.love - Change EWJZ6XHBINBUKIZQ3MCDG3RADOZSF3YFQVWCKQK2VJYIR5WFQBJAC

better formatting

Created by Kartik K. Agaram on March 29, 2023

EWJZ6XHBINBUKIZQ3MCDG3RADOZSF3YFQVWCKQK2VJYIR5WFQBJAC

Dependencies

In channels

main

Change contents

Replacement in Manual_tests.md at line 7 [4.1]
B:BD[2.210562] → [2.210562:210606]
```
    - terminal log shows unit tests running
```
[2.210562]
[5.210]
```
  - terminal log shows unit tests running
```

Replacement in Manual_tests.md at line 11 [4.1]

B:BD[2.210630] → [2.210630:211245]

    - delete app settings, start; window opens running the text editor
    - quit while running the text editor, restart; window opens running the text editor in same position+dimensions
    - quit while editing source (color; no drawings; no selection), restart; window opens editing source in same position+dimensions
    - start out running the text editor, move window, press ctrl+e twice; window is running text editor in same position+dimensions
    - start out editing source, move window, press ctrl+e twice; window is editing source in same position+dimensions
    - no log file; switching to source works

[2.210630]

[2.211245]


  - delete app settings, start; window opens running the text editor
  - quit while running the text editor, restart; window opens running the text editor in same position+dimensions
  - quit while editing source (color; no drawings; no selection), restart; window opens editing source in same position+dimensions
  - start out running the text editor, move window, press ctrl+e twice; window is running text editor in same position+dimensions
  - start out editing source, move window, press ctrl+e twice; window is editing source in same position+dimensions
  - no log file; switching to source works

Replacement in Manual_tests.md at line 51 [4.1]

B:BD[6.16090] → [3.97:214]

* I wish I could require pixel coordinates to integers. The editor defensively
  converts input margins to integers.

[6.16090]

[3.214]

* I wish I could require pixel coordinates to be integers. The editor
  defensively converts input margins to integers.