From f0e3cb7fe5ff7ef1fdc836dcbfbe2f1adda8b654 Mon Sep 17 00:00:00 2001
From: Stephen Boddy <stephen.j.boddy@gmail.com>
Date: Wed, 30 Oct 2013 17:12:00 +0100
Subject: [PATCH] Terminals now save and load their UUID to and from the layout

---
 terminatorlib/terminal.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py
index 7929d98f..690630f1 100755
--- a/terminatorlib/terminal.py
+++ b/terminatorlib/terminal.py
@@ -1490,6 +1490,7 @@ class Terminal(gtk.VBox):
         title = self.titlebar.get_custom_string()
         if title:
             layout['title'] = title
+        layout['uuid'] = self.uuid
         name = 'terminal%d' % count
         count = count + 1
         global_layout[name] = layout
@@ -1511,6 +1512,8 @@ class Terminal(gtk.VBox):
             self.titlebar.set_custom_string(layout['title'])
         if layout.has_key('directory') and layout['directory'] != '':
             self.directory = layout['directory']
+        if layout.has_key('uuid') and layout['uuid'] != '':
+            self.uuid = make_uuid(layout['uuid'])
 
     def scroll_by_page(self, pages):
         """Scroll up or down in pages"""