Fix for issue #676: title field not seem to be working with JSON profile

This commit is contained in:
Ruslan Kashinin 2023-04-03 01:17:02 +02:00
parent 10e9d04e78
commit 468ef23c79
No known key found for this signature in database
GPG Key ID: 148F7456FFF0570B
1 changed files with 13 additions and 4 deletions

View File

@ -54,15 +54,24 @@ class ConfigJson(object):
def build_terminal_layout(self, layoutjson, children, parent, order):
dbg ('Building a terminal from json: %s' % layoutjson)
def from_json(layout_name, json_name=None):
if json_name is None:
json_name = layout_name
if json_name in layoutjson:
children[parent + "." + str(order)].__setitem__(layout_name, layoutjson[json_name])
children[parent + "." + str(order)] = {
'type': 'Terminal',
'order': order,
'parent': parent,
'profile': self.profile_to_use,
'command': layoutjson['command']
'profile': self.profile_to_use
}
from_json('command')
from_json('title')
def build_container_layout(self, layoutjson, children, parent, order, vertical):
if len(layoutjson) == 1:
layoutjson = layoutjson[0]