Merge pull request #125 from liggett2820/json_extension_bug_fix

BUG: Json extension bug fix
pcdshub · Aug 3, 2022 · 9890403 · 9890403
2 parents a7c875f + c8377c6
commit 9890403
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/atef/widgets/config.py b/atef/widgets/config.py
@@ -185,6 +185,8 @@ def save_as(self, *args, filename: Optional[str] = None, **kwargs):
                 caption='Save as',
                 filter='Json Files (*.json)',
             )
+        if not filename.endswith('.json'):
+            filename += '.json'
         try:
             with open(filename, 'w') as fd:
                 json.dump(serialized, fd, indent=2)