54 """ |
55 """ |
55 self.__dev.write("<!DOCTYPE NETSCAPE-Bookmark-file-1>\n" |
56 self.__dev.write("<!DOCTYPE NETSCAPE-Bookmark-file-1>\n" |
56 "<!-- This is an automatically generated file.\n" |
57 "<!-- This is an automatically generated file.\n" |
57 " It will be read and overwritten.\n" |
58 " It will be read and overwritten.\n" |
58 " DO NOT EDIT! -->\n" |
59 " DO NOT EDIT! -->\n" |
59 "<META HTTP-EQUIV=\"Content-Type\" CONTENT=\"text/html; charset=UTF-8\">\n" |
60 "<META HTTP-EQUIV=\"Content-Type\" CONTENT=\"text/html;" |
|
61 " charset=UTF-8\">\n" |
60 "<TITLE>Bookmarks</TITLE>\n" |
62 "<TITLE>Bookmarks</TITLE>\n" |
61 "<H1>Bookmarks</H1>\n" |
63 "<H1>Bookmarks</H1>\n" |
62 "\n" |
64 "\n" |
63 "<DL><p>\n") |
65 "<DL><p>\n") |
64 if root.type() == BookmarkNode.Root: |
66 if root.type() == BookmarkNode.Root: |
102 if node.added.isValid(): |
104 if node.added.isValid(): |
103 added = " ADD_DATE=\"{0}\"".format(node.added.toTime_t()) |
105 added = " ADD_DATE=\"{0}\"".format(node.added.toTime_t()) |
104 else: |
106 else: |
105 added = "" |
107 added = "" |
106 if node.modified.isValid(): |
108 if node.modified.isValid(): |
107 modified = " LAST_MODIFIED=\"{0}\"".format(node.modified.toTime_t()) |
109 modified = " LAST_MODIFIED=\"{0}\"".format( |
|
110 node.modified.toTime_t()) |
108 else: |
111 else: |
109 modified = "" |
112 modified = "" |
110 if node.visited.isValid(): |
113 if node.visited.isValid(): |
111 visited = " LAST_VISIT=\"{0}\"".format(node.visited.toTime_t()) |
114 visited = " LAST_VISIT=\"{0}\"".format(node.visited.toTime_t()) |
112 else: |
115 else: |
113 visited = "" |
116 visited = "" |
114 |
117 |
115 self.__dev.write(" " * indent) |
118 self.__dev.write(" " * indent) |
116 self.__dev.write("<DT><A HREF=\"{0}\"{1}{2}{3}>{4}</A>\n".format( |
119 self.__dev.write("<DT><A HREF=\"{0}\"{1}{2}{3}>{4}</A>\n".format( |
117 node.url, added, modified, visited, Utilities.html_uencode(node.title) |
120 node.url, added, modified, visited, |
|
121 Utilities.html_uencode(node.title) |
118 )) |
122 )) |
119 |
123 |
120 if node.desc: |
124 if node.desc: |
121 self.__dev.write(" " * indent) |
125 self.__dev.write(" " * indent) |
122 self.__dev.write("<DD>{0}\n".format( |
126 self.__dev.write("<DD>{0}\n".format( |
144 folded, added, Utilities.html_uencode(node.title) |
148 folded, added, Utilities.html_uencode(node.title) |
145 )) |
149 )) |
146 |
150 |
147 if node.desc: |
151 if node.desc: |
148 self.__dev.write(" " * indent) |
152 self.__dev.write(" " * indent) |
149 self.__dev.write("<DD>{0}\n".format("".join(node.desc.splitlines()))) |
153 self.__dev.write("<DD>{0}\n".format( |
|
154 "".join(node.desc.splitlines()))) |
150 |
155 |
151 self.__dev.write(" " * indent) |
156 self.__dev.write(" " * indent) |
152 self.__dev.write("<DL><p>\n") |
157 self.__dev.write("<DL><p>\n") |
153 |
158 |
154 for child in node.children(): |
159 for child in node.children(): |