show active tab in bold
authorthomasv <thomasv@gitorious>
Mon, 29 Oct 2012 16:23:50 +0000 (17:23 +0100)
committerthomasv <thomasv@gitorious>
Mon, 29 Oct 2012 16:23:50 +0000 (17:23 +0100)
commit60bac7257e04a05b8afbbd9e8db083bd2d284924
tree3a2fe15ed5310a497ba4d68571d17bb6a7ddffbd
parent5e28ccd09d924428de617b71fb218991cfd0d17c
show active tab in bold
lib/gui_text.py