sugar-toolkit-gtk3/chat/richtext.py

190 lines
4.4 KiB
Python
Raw Normal View History

2006-04-21 02:55:59 +02:00
#!/usr/bin/env python
import pygtk
pygtk.require('2.0')
import gtk
import pango
import xml.sax
2006-04-21 02:55:59 +02:00
class RichTextBuffer(gtk.TextBuffer):
def __init__(self):
gtk.TextBuffer.__init__(self)
self.connect_after("insert-text", self.__insert_text_cb)
self.__create_tags()
self.active_tags = []
def apply_tag(self, tag_name):
self.active_tags.append(tag_name)
2006-04-23 05:02:25 +02:00
[start, end] = self.get_selection_bounds()
self.apply_tag_by_name(tag_name, start, end)
2006-04-21 02:55:59 +02:00
def unapply_tag(self, tag_name):
self.active_tags.remove(tag_name)
2006-04-23 05:02:25 +02:00
[start, end] = self.get_selection_bounds()
self.remove_tag_by_name(tag_name, start, end)
2006-04-21 02:55:59 +02:00
def __create_tags(self):
tag = self.create_tag("bold")
tag.set_property("weight", pango.WEIGHT_BOLD)
tag = self.create_tag("italic")
tag.set_property("style", pango.STYLE_ITALIC)
def __insert_text_cb(self, widget, pos, text, length):
for tag in self.active_tags:
pos_end = pos.copy()
pos_end.backward_chars(length)
self.apply_tag_by_name(tag, pos, pos_end)
class RichTextToolbar(gtk.Toolbar):
def __init__(self, buf):
gtk.Toolbar.__init__(self)
self.buf = buf
item = gtk.ToggleToolButton(gtk.STOCK_BOLD)
item.connect("toggled", self.__toggle_style_cb, "bold")
self.insert(item, -1)
item.show()
item = gtk.ToggleToolButton(gtk.STOCK_ITALIC)
item.connect("toggled", self.__toggle_style_cb, "italic")
self.insert(item, -1)
item.show()
def __toggle_style_cb(self, toggle, tag_name):
if toggle.get_active():
self.buf.apply_tag(tag_name)
else:
self.buf.unapply_tag(tag_name)
class RichTextHandler(xml.sax.handler.ContentHandler):
2006-04-23 04:53:54 +02:00
def __init__(self, serializer, buf):
self.buf = buf
2006-04-23 04:53:54 +02:00
self.serializer = serializer
self.tags = []
def startElement(self, name, attributes):
2006-04-23 04:53:54 +02:00
tag = self.serializer.deserialize_element(name)
if tag:
self.tags.append(tag)
def characters(self, data):
start_it = it = self.buf.get_end_iter()
mark = self.buf.create_mark(None, start_it, True)
self.buf.insert(it, data)
start_it = self.buf.get_iter_at_mark(mark)
for tag in self.tags:
self.buf.apply_tag_by_name(tag, start_it, it)
def endElement(self, name):
2006-04-23 04:53:54 +02:00
tag = self.serializer.deserialize_element(name)
if tag:
self.tags.remove(tag)
class RichTextSerializer:
def __init__(self):
2006-04-23 04:53:54 +02:00
self._open_tags = []
def deserialize_element(self, el_name):
if el_name == "bold":
return "bold"
elif el_name == "italic":
return "italic"
else:
return None
2006-04-23 04:53:54 +02:00
def serialize_tag_start(self, tag):
if tag.get_property("name") == "bold":
2006-04-23 04:53:54 +02:00
return "<bold>"
elif tag.get_property("name") == "italic":
2006-04-23 04:53:54 +02:00
return "<italic>"
else:
2006-04-23 04:53:54 +02:00
return "<unknown>"
def serialize_tag_end(self, tag):
if tag.get_property("name") == "bold":
return "</bold>"
elif tag.get_property("name") == "italic":
return "</italic>"
else:
return "</unknown>"
def serialize(self, buf):
xml = "<richtext>"
next_it = buf.get_start_iter()
while not next_it.is_end():
it = next_it.copy()
if not next_it.forward_to_tag_toggle(None):
next_it = buf.get_end_iter()
2006-04-23 04:53:54 +02:00
reopen_tags = []
for tag in it.get_toggled_tags(False):
while 1:
2006-04-23 04:53:54 +02:00
open_tag = self._open_tags.pop()
if open_tag != tag:
xml += self.serialize_tag_end(open_tag)
reopen_tags.append(open_tag)
else:
2006-04-23 04:53:54 +02:00
xml += self.serialize_tag_end(tag)
break
2006-04-23 04:53:54 +02:00
for tag in reopen_tags + it.get_toggled_tags(True):
self._open_tags.append(tag)
xml += self.serialize_tag_start(tag)
xml += buf.get_text(it, next_it)
if next_it.is_end():
2006-04-23 04:53:54 +02:00
for tag in self._open_tags:
xml += self.serialize_tag_end(tag)
xml += "</richtext>"
return xml
def deserialize(self, xml_string, buf):
parser = xml.sax.make_parser()
2006-04-23 04:53:54 +02:00
handler = RichTextHandler(self, buf)
parser.setContentHandler(handler)
parser.feed(xml_string)
parser.close()
2006-04-21 02:55:59 +02:00
def test_quit(window, rich_buf):
print RichTextSerializer().serialize(rich_buf)
2006-04-21 02:55:59 +02:00
gtk.main_quit()
if __name__ == "__main__":
window = gtk.Window()
window.set_default_size(400, 300)
vbox = gtk.VBox()
rich_buf = RichTextBuffer()
xml_string = "<richtext><bold><italic>Hello</italic>World</bold></richtext>"
RichTextSerializer().deserialize(xml_string, rich_buf)
2006-04-21 02:55:59 +02:00
view = gtk.TextView(rich_buf)
vbox.pack_start(view)
view.show()
toolbar = RichTextToolbar(rich_buf)
vbox.pack_start(toolbar, False)
toolbar.show()
window.add(vbox)
vbox.show()
window.show()
window.connect("destroy", test_quit, rich_buf)
gtk.main()