From 13b22192236565738f2105866659327b1784099d Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Mon, 24 Apr 2006 19:00:58 +0000 Subject: Fix a serialization bug (inversed tags) --- diff --git a/browser/browser.py b/browser/browser.py index 41a7f80..44ae6ea 100755 --- a/browser/browser.py +++ b/browser/browser.py @@ -213,7 +213,4 @@ class WebActivity(activity.Activity): web_activity = WebActivity() web_activity.activity_connect_to_shell() -try: - gtk.main() -except KeyboardInterrupt: - pass +gtk.main() diff --git a/chat/richtext.py b/chat/richtext.py index ecf49e4..6c6c592 100644 --- a/chat/richtext.py +++ b/chat/richtext.py @@ -128,24 +128,24 @@ class RichTextSerializer: if not next_it.forward_to_tag_toggle(None): next_it = buf.get_end_iter() - reopen_tags = [] + tags_to_reopen = [] + for tag in it.get_toggled_tags(False): while 1: open_tag = self._open_tags.pop() - if open_tag != tag: - xml += self.serialize_tag_end(open_tag) - reopen_tags.append(open_tag) - else: - xml += self.serialize_tag_end(tag) - break - - for tag in reopen_tags + it.get_toggled_tags(True): + xml += self.serialize_tag_end(tag) + if open_tag == tag: + break + tags_to_reopen.append(open_tag) + + for tag in tags_to_reopen + 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(): + self._open_tags.reverse() for tag in self._open_tags: xml += self.serialize_tag_end(tag) @@ -171,8 +171,15 @@ if __name__ == "__main__": vbox = gtk.VBox() rich_buf = RichTextBuffer() - - xml_string = "HelloWorld" + + xml_string = "" + + #xml_string += "Testone\n" + xml_string += "Test two" + + xml_string += "" + + RichTextSerializer().deserialize(xml_string, rich_buf) view = gtk.TextView(rich_buf) -- cgit v0.9.1