import gtk; _gtk = gtk; del gtk
import _gtkhtml
HTML_STREAM_OK = 0
HTML_STREAM_ERROR = 1
class GtkHTML (_gtk.GtkLayout):
get_type = _gtkhtml.gtk_html_get_type
def __init__ (self, _obj=None):
if _obj: self._o = _obj; return
self._o = _gtkhtml.gtk_html_new ()
def allow_selection (self, allow):
_gtkhtml.gtk_html_allow_selection (self._o, allow)
def select_word (self):
_gtkhtml.gtk_html_select_word (self._o)
def select_line (self):
_gtkhtml.gtk_html_select_line (self._o)
def begin (self):
return _gtkhtml.gtk_html_begin (self._o)
def begin_content (self, content_type):
return _gtkhtml.gtk_html_begin_content (self._o, content_type)
def write (self, handle, buf):
_gtkhtml.gtk_html_write (self._o, handle, buf)
def end (self, handle, status):
_gtkhtml.gtk_html_end (self._o, handle, status)
def load_empty (self):
_gtkhtml.gtk_html_load_empty (self._o)
def load_from_string (self, buf):
_gtkhtml.gtk_html_load_from_string (self._o, buf)
def get_title (self):
return _gtkhtml.gtk_html_get_title (self._o)
def jump_to_anchor (self, anchor):
return _gtkhtml.gtk_html_jump_to_anchor (self._o, anchor)
def set_default_background_color (self, colour):
_gtkhtml.gtk_html_set_default_background_color (self._o, colour)
def set_default_content_type (self, content_type):
_gtkhtml.gtk_html_set_default_content_type (self._o, content_type)
_gtk._name2cls['GtkHTML'] = GtkHTML
class GtkHTMLEmbedded (_gtk.GtkBin):
get_type = _gtkhtml.gtk_html_embedded_get_type
def __init__ (self, classid='', name='', type='', data='', width=-1, height=-1, _obj=None):
if _obj: self._o = _obj; return
self._o = _gtkhtml.gtk_html_embedded_new (classid, name, type, data, width, height)
def set_parameter (self, param, value):
_gtkhtml.gtk_html_embedded_set_parameter (self._o, param, value)
def get_parameter (self, param):
return _gtkhtml.gtk_html_embedded_get_parameter (self._o, param)
def set_descent (self, descent):
_gtkhtml.gtk_html_embedded_set_descent (self._o, descent)
def __getattr__ (self, attr):
attrs = {
'classid': _gtkhtml.gtk_html_embedded_get_object_classid,
'name': _gtkhtml.gtk_html_embedded_get_object_name,
'type': _gtkhtml.gtk_html_embedded_get_object_type,
'data': _gtkhtml.gtk_html_embedded_get_object_data
}
if attrs.has_key(attr):
return attrs[attr](self._o)
return _gtk.GtkBin.__getattr__(self, attr)
def __setattr__ (self, attr, value):
attrs = {
'classid': _gtkhtml.gtk_html_embedded_set_object_classid,
'name': _gtkhtml.gtk_html_embedded_set_object_name,
'type': _gtkhtml.gtk_html_embedded_set_object_type,
'data': _gtkhtml.gtk_html_embedded_set_object_data
}
if attrs.has_key(attr):
attrs[attr](self._o, value)
else:
self.__dict__[attr] = value
def __delattr__ (self, attr):
attrs = {
'classid': _gtkhtml.gtk_html_embedded_set_object_classid,
'name': _gtkhtml.gtk_html_embedded_set_object_name,
'type': _gtkhtml.gtk_html_embedded_set_object_type,
'data': _gtkhtml.gtk_html_embedded_set_object_data
}
if attrs.has_key(attr):
attrs[attr](self._o, None)
else:
del self.__dict__[attr]
_gtk._name2cls['GtkHTMLEmbedded'] = GtkHTMLEmbedded