202 |
202 |
203 sessionData["Windows"].append(data) |
203 sessionData["Windows"].append(data) |
204 |
204 |
205 if window is activeWindow: |
205 if window is activeWindow: |
206 sessionData["CurrentWindowIndex"] = \ |
206 sessionData["CurrentWindowIndex"] = \ |
207 len(sessionData["Windows"]) -1 |
207 len(sessionData["Windows"]) - 1 |
208 |
208 |
209 if sessionData["Windows"]: |
209 if sessionData["Windows"]: |
210 sessionFile = open(sessionFileName, "w") |
210 sessionFile = open(sessionFileName, "w") |
211 json.dump(sessionData, sessionFile, indent=2) |
211 json.dump(sessionData, sessionFile, indent=2) |
212 sessionFile.close() |
212 sessionFile.close() |