1871 else: |
1871 else: |
1872 try: |
1872 try: |
1873 f1 = open(name, "r", encoding="utf-8") |
1873 f1 = open(name, "r", encoding="utf-8") |
1874 output2 = f1.read() |
1874 output2 = f1.read() |
1875 f1.close() |
1875 f1.close() |
1876 name2 = name |
1876 name2 = "{0} (Work)".format(name) |
1877 except IOError: |
1877 except IOError: |
1878 E5MessageBox.critical( |
1878 E5MessageBox.critical( |
1879 self.__ui, |
1879 self.__ui, |
1880 self.tr("Mercurial Side-by-Side Difference"), |
1880 self.tr("Mercurial Side-by-Side Difference"), |
1881 self.tr( |
1881 self.tr( |