diff options
| author | Josh Blum | 2010-04-15 12:01:51 -0700 |
|---|---|---|
| committer | Josh Blum | 2010-04-15 12:01:51 -0700 |
| commit | 64c9d57de399bd0e42bb19d3f961be3355ec82c1 (patch) | |
| tree | ef0f5115f2709105c2f9d125cf6e6fca607e2356 /grc/gui | |
| parent | ec7bdb4c93c8046b7d80bdad9b151c990946b181 (diff) | |
| parent | a301c47751cb61116ae8f49f6b693b3ca6fbadc3 (diff) | |
| download | gnuradio-64c9d57de399bd0e42bb19d3f961be3355ec82c1.tar.gz gnuradio-64c9d57de399bd0e42bb19d3f961be3355ec82c1.tar.bz2 gnuradio-64c9d57de399bd0e42bb19d3f961be3355ec82c1.zip | |
Merge branch 'master' of http://gnuradio.org/git/gnuradio into uhd
Diffstat (limited to 'grc/gui')
| -rw-r--r-- | grc/gui/Param.py | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/grc/gui/Param.py b/grc/gui/Param.py index b3018dab2..7c00c1b67 100644 --- a/grc/gui/Param.py +++ b/grc/gui/Param.py @@ -1,5 +1,5 @@ """ -Copyright 2007, 2008, 2009 Free Software Foundation, Inc. +Copyright 2007, 2008, 2009, 2010 Free Software Foundation, Inc. This file is part of GNU Radio GNU Radio Companion is free software; you can redistribute it and/or @@ -135,10 +135,21 @@ PARAM_LABEL_MARKUP_TMPL="""\ <span underline="$underline" foreground="$foreground" font_desc="Sans 9">$encode($param.get_name())</span>""" TIP_MARKUP_TMPL="""\ +######################################## +#def truncate(string) + #set $max_len = 100 + #set $string = str($string) + #if len($string) > $max_len +$('%s...%s'%($string[:$max_len/2], $string[-$max_len/2:]))#slurp + #else +$string#slurp + #end if +#end def +######################################## Key: $param.get_key() Type: $param.get_type() #if $param.is_valid() -Value: $param.get_evaluated() +Value: $truncate($param.get_evaluated()) #elif len($param.get_error_messages()) == 1 Error: $(param.get_error_messages()[0]) #else |