* src/Utils.py (bold_label,unbold_label,temp_label): optionally

set cursor.
* src/EditSource.py (__init__,on_switch_page): Call
display_references using idle_add; (display_references): set
cursor when done.


svn: r4770
This commit is contained in:
Alex Roitman
2005-06-03 13:39:36 +00:00
parent cd8579654a
commit 97900a087d
3 changed files with 36 additions and 8 deletions

View File

@@ -34,6 +34,7 @@ import locale
#
#-------------------------------------------------------------------------
import gtk
import gtk.gdk
import gnome
try:
@@ -402,17 +403,34 @@ def search_for(name):
# Change label apperance
#
#-------------------------------------------------------------------------
def bold_label(label):
def bold_label(label,widget=None):
text = unicode(label.get_text())
text = text.replace('<i>','')
text = text.replace('</i>','')
label.set_text("<b>%s</b>" % text )
label.set_use_markup(1)
label.set_use_markup(True)
if widget:
widget.window.set_cursor(None)
def unbold_label(label):
def unbold_label(label,widget=None):
text = unicode(label.get_text())
text = text.replace('<b>','')
text = text.replace('</b>','')
text = text.replace('<i>','')
text = text.replace('</i>','')
label.set_text(text)
label.set_use_markup(0)
label.set_use_markup(False)
if widget:
widget.window.set_cursor(None)
def temp_label(label,widget=None):
text = unicode(label.get_text())
text = text.replace('<b>','')
text = text.replace('</b>','')
label.set_text("<i>%s</i>" % text )
label.set_use_markup(True)
if widget:
widget.window.set_cursor(gtk.gdk.Cursor(gtk.gdk.WATCH))
#-------------------------------------------------------------------------
#