1040 ) |
1040 ) |
1041 self.menuActs["NewSplit"].setEnabled(self.vm.canSplit()) |
1041 self.menuActs["NewSplit"].setEnabled(self.vm.canSplit()) |
1042 self.menu.addSeparator() |
1042 self.menu.addSeparator() |
1043 self.reopenEncodingMenu = self.__initContextMenuReopenWithEncoding() |
1043 self.reopenEncodingMenu = self.__initContextMenuReopenWithEncoding() |
1044 self.menuActs["Reopen"] = self.menu.addMenu(self.reopenEncodingMenu) |
1044 self.menuActs["Reopen"] = self.menu.addMenu(self.reopenEncodingMenu) |
|
1045 self.menuActs["Reload"] = self.menu.addAction( |
|
1046 EricPixmapCache.getIcon("reload"), self.tr("Reload"), self.reload |
|
1047 ) |
1045 self.menuActs["Save"] = self.menu.addAction( |
1048 self.menuActs["Save"] = self.menu.addAction( |
1046 EricPixmapCache.getIcon("fileSave"), self.tr("Save"), self.__contextSave |
1049 EricPixmapCache.getIcon("fileSave"), self.tr("Save"), self.__contextSave |
1047 ) |
1050 ) |
1048 self.menu.addAction( |
1051 self.menu.addAction( |
1049 EricPixmapCache.getIcon("fileSaveAs"), |
1052 EricPixmapCache.getIcon("fileSaveAs"), |
6329 Private slot handling the aboutToShow signal of the context menu. |
6332 Private slot handling the aboutToShow signal of the context menu. |
6330 """ |
6333 """ |
6331 self.menuActs["Reopen"].setEnabled( |
6334 self.menuActs["Reopen"].setEnabled( |
6332 not self.isModified() and bool(self.fileName) |
6335 not self.isModified() and bool(self.fileName) |
6333 ) |
6336 ) |
|
6337 self.menuActs["Reload"].setEnabled(bool(self.fileName)) |
6334 self.menuActs["Save"].setEnabled(self.isModified()) |
6338 self.menuActs["Save"].setEnabled(self.isModified()) |
6335 self.menuActs["Undo"].setEnabled(self.isUndoAvailable()) |
6339 self.menuActs["Undo"].setEnabled(self.isUndoAvailable()) |
6336 self.menuActs["Redo"].setEnabled(self.isRedoAvailable()) |
6340 self.menuActs["Redo"].setEnabled(self.isRedoAvailable()) |
6337 self.menuActs["Revert"].setEnabled(self.isModified()) |
6341 self.menuActs["Revert"].setEnabled(self.isModified()) |
6338 self.menuActs["Cut"].setEnabled(self.hasSelectedText()) |
6342 self.menuActs["Cut"].setEnabled(self.hasSelectedText()) |
8325 |
8329 |
8326 self.__markerMap.update() |
8330 self.__markerMap.update() |
8327 |
8331 |
8328 self.refreshed.emit() |
8332 self.refreshed.emit() |
8329 |
8333 |
|
8334 @pyqtSlot() |
|
8335 def reload(self): |
|
8336 """ |
|
8337 Public slot to reload the editor contents checking its modification state first. |
|
8338 """ |
|
8339 if self.isModified(): |
|
8340 ok = EricMessageBox.yesNo( |
|
8341 self, |
|
8342 self.tr("Reload File"), |
|
8343 self.tr( |
|
8344 "<p>The editor contains unsaved modifications.</p>" |
|
8345 "<p><b>Warning:</b> You will lose your changes upon reloading" |
|
8346 " it.</p><p>Shall the editor really be reloaded?</p>" |
|
8347 ), |
|
8348 icon=EricMessageBox.Warning, |
|
8349 ) |
|
8350 else: |
|
8351 ok = True |
|
8352 if ok: |
|
8353 self.refresh() |
|
8354 |
8330 def setMonospaced(self, on): |
8355 def setMonospaced(self, on): |
8331 """ |
8356 """ |
8332 Public method to set/reset a monospaced font. |
8357 Public method to set/reset a monospaced font. |
8333 |
8358 |
8334 @param on flag to indicate usage of a monospace font |
8359 @param on flag to indicate usage of a monospace font |