src/gui/modules/misc.py
changeset 1458 a6f813dbcc3e
parent 1456 9eb0d782440f
child 1469 30f9e05c523d
equal deleted inserted replaced
1457:0f31831a57b4 1458:a6f813dbcc3e
   278         end_itr = text_buffer.get_end_iter()
   278         end_itr = text_buffer.get_end_iter()
   279         if icon == None:
   279         if icon == None:
   280                 text_buffer.insert(end_itr, "\t%s\n" % text)
   280                 text_buffer.insert(end_itr, "\t%s\n" % text)
   281         else:
   281         else:
   282                 resized_icon = resize_icon(icon, font_size)
   282                 resized_icon = resize_icon(icon, font_size)
   283                 text_buffer.insert(end_itr, "\t ")
   283                 text_buffer.insert(end_itr, "\t")
   284                 text_buffer.get_end_iter()
   284                 text_buffer.get_end_iter()
   285                 text_buffer.insert_pixbuf(end_itr, resized_icon)
   285                 text_buffer.insert_pixbuf(end_itr, resized_icon)
   286                 text_buffer.insert(end_itr, " %s\n" % text)
   286                 text_buffer.insert(end_itr, " %s\n" % text)
   287 
   287 
   288 def resize_icon(icon, font_size):
   288 def resize_icon(icon, font_size):