tree 349009db2e33d4e461c753c3dc336ce164d5205f
parent 1af3032fa0ab85ab34fb0adc133602f087c01368
author Danny Tuppeny <danny@tuppeny.com> 1765991297 +0000
committer GitHub <noreply@github.com> 1765991297 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJpQuOBCRC1aQ7uu5UhlAAAGf0QAB9tI5mncpiPlO+Dbxc3RKC8
 cYby8fufISgLXchTohnXrlMK1JPdWzT506qGuZy/XQqCSLMryoqWV06YfUU/gPGV
 OQQnXfZwO3l0o4TM55i30hpr33YaSpxAfEpuMw0vD5LRlAYI9ky5yoPScXyKDc3m
 J29L5BS3bQQ+5ERlUFlNkhQnkwRf7cDVA/WbVm4zglWZQ/MlS1O/taLzzHtZCxby
 9wGYbyRA+MXTGiBasMfytHri9Bd5Ury7mbNs5bOyRR/wVDZ1XH1euiwjO4+JhY8v
 7nX5Cuxa5yVoJ89MioG9vTyqmalEsyaraEz5t5IfF+/mvZLLFKqQwOEyL7gIe4EC
 bpciIOf7v4O+Ys4TaXvdSNrZ6OgE2UIjJ1WrzQ5u+bwQaLy5Owi0JXQyH+kISIBG
 RajAIBFBqqfWu+iiui3W//zh+wAw9d+tNXpkvUiL6QFSLk3C4TJTIdGkEjwZuYUd
 N0OTPT1pGlFmMS3Q8hMr/SBn1im6g18XTApN1Qf20B4wYBI0c6GHwmItTrydpj8Z
 W0VGwOADhXzCa0iNMzrB33XBdDzVFDYDsrcJHQ6wvHSAulhHMJQQba0/0jbQvT+k
 Ev+M8icq1LGboyyfTx7vrA21Izlkh9Up0rp3i5kWZcVeiLwzo9vXmm1vURRl2Cl5
 L+fQ8qUUObWGFQiMIi8m
 =0ryM
 -----END PGP SIGNATURE-----
 

Move property_editor/reconnecting_overlay.dart -> not_connected_overlay.dart (#9594)

The changes I made to this file prevented git from detecting it as a rename in my previous PR. To slightly simplify the review, I left the file where it was with a TODO to move after. This is just that move.