eric6/WebBrowser/Bookmarks/NsHtmlWriter.py

changeset 8260
2161475d9639
parent 8235
78e6d29eb773
equal deleted inserted replaced
8259:2bbec88047dd 8260:2161475d9639
100 Private method to write a bookmark node. 100 Private method to write a bookmark node.
101 101
102 @param node reference to the node to be written (BookmarkNode) 102 @param node reference to the node to be written (BookmarkNode)
103 @param indent size of the indentation (integer) 103 @param indent size of the indentation (integer)
104 """ 104 """
105 if node.added.isValid(): 105 added = (
106 added = " ADD_DATE=\"{0}\"".format(node.added.toTime_t()) 106 " ADD_DATE=\"{0}\"".format(node.added.toTime_t())
107 else: 107 if node.added.isValid() else
108 added = "" 108 ""
109 if node.modified.isValid(): 109 )
110 modified = " LAST_MODIFIED=\"{0}\"".format( 110 modified = (
111 node.modified.toTime_t()) 111 " LAST_MODIFIED=\"{0}\"".format(node.modified.toTime_t())
112 else: 112 if node.modified.isValid() else
113 modified = "" 113 ""
114 if node.visited.isValid(): 114 )
115 visited = " LAST_VISIT=\"{0}\"".format(node.visited.toTime_t()) 115 visited = (
116 else: 116 " LAST_VISIT=\"{0}\"".format(node.visited.toTime_t())
117 visited = "" 117 if node.visited.isValid() else
118 ""
119 )
118 120
119 self.__dev.write(" " * indent) 121 self.__dev.write(" " * indent)
120 self.__dev.write("<DT><A HREF=\"{0}\"{1}{2}{3}>{4}</A>\n".format( 122 self.__dev.write("<DT><A HREF=\"{0}\"{1}{2}{3}>{4}</A>\n".format(
121 node.url, added, modified, visited, 123 node.url, added, modified, visited,
122 Utilities.html_uencode(node.title) 124 Utilities.html_uencode(node.title)
134 @param node reference to the node to be written (BookmarkNode) 136 @param node reference to the node to be written (BookmarkNode)
135 @param indent size of the indentation (integer) 137 @param indent size of the indentation (integer)
136 """ 138 """
137 folded = "" if node.expanded else " FOLDED" 139 folded = "" if node.expanded else " FOLDED"
138 140
139 if node.added.isValid(): 141 added = (
140 added = " ADD_DATE=\"{0}\"".format(node.added.toTime_t()) 142 " ADD_DATE=\"{0}\"".format(node.added.toTime_t())
141 else: 143 if node.added.isValid() else
142 added = "" 144 ""
145 )
143 146
144 self.__dev.write(" " * indent) 147 self.__dev.write(" " * indent)
145 self.__dev.write("<DT><H3{0}{1}>{2}</H3>\n".format( 148 self.__dev.write("<DT><H3{0}{1}>{2}</H3>\n".format(
146 folded, added, Utilities.html_uencode(node.title) 149 folded, added, Utilities.html_uencode(node.title)
147 )) 150 ))

eric ide

mercurial