4076 desktop = Globals.desktopName() |
4076 desktop = Globals.desktopName() |
4077 session = Globals.sessionType() |
4077 session = Globals.sessionType() |
4078 if desktop or session: |
4078 if desktop or session: |
4079 versionText += "<tr><td></td><td></td></tr>" |
4079 versionText += "<tr><td></td><td></td></tr>" |
4080 if desktop: |
4080 if desktop: |
4081 versionText += ( |
4081 versionText += ("<tr><td><b>{0}</b></td><td>{1}</td></tr>" |
4082 "<tr><td><b>Desktop</b></td><td>{0}</td></tr>" |
4082 ).format(self.tr("Desktop"), desktop) |
4083 ).format(desktop) |
|
4084 if session: |
4083 if session: |
4085 versionText += ( |
4084 versionText += ("<tr><td><b>{0}</b></td><td>{1}</td></tr>" |
4086 "<tr><td><b>Session Type</b></td><td>{0}</td></tr>" |
4085 ).format(self.tr("Session Type"), session) |
4087 ).format(session) |
|
4088 |
4086 |
4089 versionText += self.tr("""</table>""") |
4087 versionText += self.tr("""</table>""") |
4090 |
4088 |
4091 EricMessageBox.about(self, Program, versionText) |
4089 EricMessageBox.about(self, Program, versionText) |
4092 |
4090 |