def __init__(self, color, bg_color, lang_rtl):
self._lang_rtl = lang_rtl
gtk.TextView.__init__(self)
self.set_editable(False)
self.set_cursor_visible(False)
self.set_wrap_mode(gtk.WRAP_WORD_CHAR)
self.get_buffer().set_text("", 0)
self.iter_text = self.get_buffer().get_iter_at_offset(0)
self.fg_tag = self.get_buffer().create_tag("foreground_color",
foreground=color.get_html())
self._subscript_tag = self.get_buffer().create_tag('subscript',
rise=-7 * pango.SCALE) # in pixels
self._empty = True
self.palette = None
self._mouse_detector = MouseSpeedDetector(self, 200, 5)
self._mouse_detector.connect('motion-slow', self.__mouse_slow_cb)
self.modify_base(gtk.STATE_NORMAL, bg_color.get_gdk_color())
self.add_events(gtk.gdk.POINTER_MOTION_MASK | \
gtk.gdk.BUTTON_PRESS_MASK | \
gtk.gdk.BUTTON_RELEASE_MASK | \
gtk.gdk.LEAVE_NOTIFY_MASK)
self.connect('event-after', self.__event_after_cb)
self.connect('button-press-event', self.__button_press_cb)
self.motion_notify_id = self.connect('motion-notify-event', \
self.__motion_notify_cb)
self.connect('visibility-notify-event', self.__visibility_notify_cb)
self.connect('leave-notify-event', self.__leave_notify_event_cb)
