54 """ |
54 """ |
55 Class implementing a dialog for the configuration of eric5. |
55 Class implementing a dialog for the configuration of eric5. |
56 |
56 |
57 @signal preferencesChanged emitted after settings have been changed |
57 @signal preferencesChanged emitted after settings have been changed |
58 """ |
58 """ |
|
59 preferencesChanged = pyqtSignal() |
|
60 |
59 def __init__(self, parent = None, fromEric = True, helpBrowserMode = False): |
61 def __init__(self, parent = None, fromEric = True, helpBrowserMode = False): |
60 """ |
62 """ |
61 Constructor |
63 Constructor |
62 |
64 |
63 @param parent The parent widget of this dialog. (QWidget) |
65 @param parent The parent widget of this dialog. (QWidget) |
553 """ |
555 """ |
554 if self.configStack.currentWidget() != self.emptyPage: |
556 if self.configStack.currentWidget() != self.emptyPage: |
555 page = self.configStack.currentWidget() |
557 page = self.configStack.currentWidget() |
556 savedState = page.saveState() |
558 savedState = page.saveState() |
557 page.save() |
559 page.save() |
558 self.emit(SIGNAL('preferencesChanged')) |
560 self.preferencesChanged.emit() |
559 if savedState is not None: |
561 if savedState is not None: |
560 page.setState(savedState) |
562 page.setState(savedState) |
561 |
563 |
562 @pyqtSlot() |
564 @pyqtSlot() |
563 def on_resetButton_clicked(self): |
565 def on_resetButton_clicked(self): |
581 """ |
583 """ |
582 Class for the dialog variant. |
584 Class for the dialog variant. |
583 |
585 |
584 @signal preferencesChanged emitted after settings have been changed |
586 @signal preferencesChanged emitted after settings have been changed |
585 """ |
587 """ |
|
588 preferencesChanged = pyqtSignal() |
|
589 |
586 def __init__(self, parent = None, name = None, modal = False, |
590 def __init__(self, parent = None, name = None, modal = False, |
587 fromEric = True, helpBrowserMode = False): |
591 fromEric = True, helpBrowserMode = False): |
588 """ |
592 """ |
589 Constructor |
593 Constructor |
590 |
594 |
610 self.layout.addWidget(self.cw) |
614 self.layout.addWidget(self.cw) |
611 self.resize(size) |
615 self.resize(size) |
612 |
616 |
613 self.cw.buttonBox.accepted[()].connect(self.accept) |
617 self.cw.buttonBox.accepted[()].connect(self.accept) |
614 self.cw.buttonBox.rejected[()].connect(self.reject) |
618 self.cw.buttonBox.rejected[()].connect(self.reject) |
615 self.connect(self.cw, SIGNAL('preferencesChanged'), |
619 self.cw.preferencesChanged.connect(self.__preferencesChanged) |
616 self.__preferencesChanged) |
|
617 |
620 |
618 def __preferencesChanged(self): |
621 def __preferencesChanged(self): |
619 """ |
622 """ |
620 Private slot to handle a change of the preferences. |
623 Private slot to handle a change of the preferences. |
621 """ |
624 """ |
622 self.emit(SIGNAL('preferencesChanged')) |
625 self.preferencesChanged.emit() |
623 |
626 |
624 def showConfigurationPageByName(self, pageName): |
627 def showConfigurationPageByName(self, pageName): |
625 """ |
628 """ |
626 Public slot to show a named configuration page. |
629 Public slot to show a named configuration page. |
627 |
630 |