82 self.setWindowIcon(EricPixmapCache.getIcon("hexEditor")) |
82 self.setWindowIcon(EricPixmapCache.getIcon("hexEditor")) |
83 |
83 |
84 if not self.__fromEric: |
84 if not self.__fromEric: |
85 self.setStyle(Preferences.getUI("Style"), Preferences.getUI("StyleSheet")) |
85 self.setStyle(Preferences.getUI("Style"), Preferences.getUI("StyleSheet")) |
86 |
86 |
87 self.__remotefsInterface =( |
87 self.__remotefsInterface = ( |
88 ericApp().getObject("EricServer").getServiceInterface("FileSystem") |
88 ericApp().getObject("EricServer").getServiceInterface("FileSystem") |
89 if self.__fromEric |
89 if self.__fromEric |
90 else None |
90 else None |
91 ) |
91 ) |
92 |
92 |
1233 ) |
1233 ) |
1234 if not fileName: |
1234 if not fileName: |
1235 return False |
1235 return False |
1236 |
1236 |
1237 if ( |
1237 if ( |
1238 ( |
1238 FileSystemUtilities.isRemoteFileName(fileName) |
1239 FileSystemUtilities.isRemoteFileName(fileName) |
1239 and self.__remotefsInterface.exists(fileName) |
1240 and self.__remotefsInterface.exists(fileName) |
1240 ) or ( |
1241 ) |
1241 FileSystemUtilities.isPlainFileName(fileName) |
1242 or ( |
1242 and pathlib.Path(fileName).exists() |
1243 FileSystemUtilities.isPlainFileName(fileName) |
|
1244 and pathlib.Path(fileName).exists() |
|
1245 ) |
|
1246 ): |
1243 ): |
1247 res = EricMessageBox.yesNo( |
1244 res = EricMessageBox.yesNo( |
1248 self, |
1245 self, |
1249 self.tr("Save binary file"), |
1246 self.tr("Save binary file"), |
1250 self.tr( |
1247 self.tr( |