Mercurial Repositories > eric / file comparison
comparison: E5XML/SessionWriter.py
E5XML/SessionWriter.py
- changeset 3600
- 7d17c492ab95
- parent 3178
- f25fc1364c88
- child 3670
- f0cb7579c0b4
equal
deleted
inserted
replaced
| 3598:37fdb72a2388 | 3600:7d17c492ab95 |
|---|---|
| 33 """ | 33 """ |
| 34 XMLStreamWriterBase.__init__(self, device) | 34 XMLStreamWriterBase.__init__(self, device) |
| 35 | 35 |
| 36 self.name = projectName | 36 self.name = projectName |
| 37 self.project = e5App().getObject("Project") | 37 self.project = e5App().getObject("Project") |
| 38 self.projectBrowser = e5App().getObject("ProjectBrowser") | |
| 38 self.multiProject = e5App().getObject("MultiProject") | 39 self.multiProject = e5App().getObject("MultiProject") |
| 39 self.vm = e5App().getObject("ViewManager") | 40 self.vm = e5App().getObject("ViewManager") |
| 40 self.dbg = e5App().getObject("DebugUI") | 41 self.dbg = e5App().getObject("DebugUI") |
| 41 self.dbs = e5App().getObject("DebugServer") | 42 self.dbs = e5App().getObject("DebugServer") |
| 42 | 43 |
| 222 self.writeEmptyElement("Linenumber") | 223 self.writeEmptyElement("Linenumber") |
| 223 self.writeAttribute("value", str(bookmark)) | 224 self.writeAttribute("value", str(bookmark)) |
| 224 self.writeEndElement() | 225 self.writeEndElement() |
| 225 self.writeEndElement() | 226 self.writeEndElement() |
| 226 | 227 |
| 228 # step 5: save state of the various project browsers | |
| 229 if not isGlobal: | |
| 230 self.writeStartElement("ProjectBrowserStates") | |
| 231 for browserName in self.projectBrowser.getProjectBrowserNames(): | |
| 232 self.writeStartElement("ProjectBrowserState") | |
| 233 self.writeAttribute("name", browserName) | |
| 234 # get the names of expanded files and directories | |
| 235 names = self.projectBrowser\ | |
| 236 .getProjectBrowser(browserName).getExpandedItemNames() | |
| 237 for name in names: | |
| 238 self.writeTextElement("ExpandedItemName", name) | |
| 239 self.writeEndElement() | |
| 240 self.writeEndElement() | |
| 241 | |
| 227 # add the main end tag | 242 # add the main end tag |
| 228 self.writeEndElement() | 243 self.writeEndElement() |
| 229 self.writeEndDocument() | 244 self.writeEndDocument() |
