Preparing to release

let-unimi · Apr 5, 2024 · 1895c2a · 1895c2a
1 parent 3eebc58
commit 1895c2a
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/CHANGELOG.txt b/CHANGELOG.txt
@@ -1,6 +1,13 @@
 Changelog
 =========
 
+v1.7.2 (2024-04-04)
+-------------------
+
+- GVWrapper now uses "Fira Code" as default font.
+- Improved InstantaneousDescription representations
+- Fixed a bug in Tree graph representation.
+
 v1.7.1 (2024-04-04)
 -------------------
 

diff --git a/src/liblet/display.py b/src/liblet/display.py
@@ -125,13 +125,13 @@ def node(self, obj, G=None, gv_args=None):
       G = self.G
     wn, new = self._obj2wn(obj)
     if new:
-      G.node(wn.gid(), wn.label(), **({'fontname': 'Fira code'} | wn.default_gv_args() | (gv_args or {})))
+      G.node(wn.gid(), wn.label(), **({'fontname': 'Fira Code'} | wn.default_gv_args() | (gv_args or {})))
     return wn.gid()
 
   def edge(self, objsrc, objdst, G=None, gv_args=None):
     if G is None:
       G = self.G
-    G.edge(self.node(objsrc), self.node(objdst), **({'fontname': 'Fira code'} | (gv_args or {})))
+    G.edge(self.node(objsrc), self.node(objdst), **({'fontname': 'Fira Code'} | (gv_args or {})))
 
   def __repr__(self):
     return 'GVWrapper[\n' + indent(str(self.G), '\t') + ']'