[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] 03/04: grc: set font for dummy block params
From: |
git |
Subject: |
[Commit-gnuradio] [gnuradio] 03/04: grc: set font for dummy block params |
Date: |
Tue, 8 Dec 2015 00:31:19 +0000 (UTC) |
This is an automated email from the git hooks/post-receive script.
jcorgan pushed a commit to branch maint
in repository gnuradio.
commit 6065236bfb67bfe609d207f30aa776b69633974d
Author: Sebastian Koslowski <address@hidden>
Date: Fri Dec 4 21:21:20 2015 +0100
grc: set font for dummy block params
---
grc/gui/Block.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/grc/gui/Block.py b/grc/gui/Block.py
index 87db6a9..cd40bfb 100644
--- a/grc/gui/Block.py
+++ b/grc/gui/Block.py
@@ -158,7 +158,7 @@ class Block(Element):
#display the params
if self.is_dummy_block():
markups = [
- '<span foreground="black" font_desc="$font"><b>key:
</b>{key}</span>'.format(font=PARAM_FONT, key=self._key)
+ '<span foreground="black" font_desc="{font}"><b>key:
</b>{key}</span>'.format(font=PARAM_FONT, key=self._key)
]
else:
markups = [param.get_markup() for param in self.get_params() if
param.get_hide() not in ('all', 'part')]
@@ -167,7 +167,7 @@ class Block(Element):
layout.set_spacing(LABEL_SEPARATION*pango.SCALE)
layout.set_markup('\n'.join(markups))
layouts.append(layout)
- w,h = layout.get_pixel_size()
+ w, h = layout.get_pixel_size()
self.label_width = max(w, self.label_width)
self.label_height += h + LABEL_SEPARATION
width = self.label_width