Use network's class name if more informative.

nengo · Jan 12, 2019 · dc9e56c · dc9e56c
1 parent be174f6
commit dc9e56c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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):