diff --git a/nengo_gui/page.py b/nengo_gui/page.py index 546101a3..e4b20c6c 100644 --- a/nengo_gui/page.py +++ b/nengo_gui/page.py @@ -3,6 +3,7 @@ import json import logging import os +import re import socket import threading import time @@ -376,6 +377,9 @@ def get_label(self, obj, default_labels=None): assert label is not None if '.' in label: label = label.rsplit('.', 1)[1] + if (re.match(r'networks\[\d+\]', label) + and obj.__class__.__name__ != 'Network'): + label = obj.__class__.__name__ return label def get_uid(self, obj, default_labels=None):