Commit 37893058 authored by Jogi Hofmüller's avatar Jogi Hofmüller

Log a message if no saving is needed

parent 7a6e992c
......@@ -160,6 +160,7 @@ class Gdb:
def dumpJSON(self):
if not self.modified:
print('Nothing to save')
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment