From 8ed1613951a4a1a74cafb4f8d4791fa064077f66 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Thu, 18 Mar 2010 23:11:07 +0000 Subject: [PATCH] Describe the current profile if it's non-default --- terminatorlib/terminal.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py index 689f7823..9bff6292 100755 --- a/terminatorlib/terminal.py +++ b/terminatorlib/terminal.py @@ -1222,6 +1222,10 @@ for %s (%s)' % (name, urlplugin.__class__.__name__)) layout['type'] = 'Terminal' layout['parent'] = parent layout['order'] = child_order + profile = self.get_profile() + if layout != "default": + # There's no point explicitly noting default profiles + layout['profile'] = profile name = 'terminal%d' % count count = count + 1 global_layout[name] = layout