start /save commands with /drop

This commit is contained in:
Paul Gauthier 2024-11-01 09:04:55 -07:00
parent c098354a67
commit 66ad186edd

View file

@ -1297,6 +1297,7 @@ class Commands:
try:
with open(args.strip(), "w", encoding=self.io.encoding) as f:
f.write("/drop\n")
# Write commands to add editable files
for fname in sorted(self.coder.abs_fnames):
rel_fname = self.coder.get_rel_fname(fname)