Show More
@@ -137,7 +137,12 class ConsoleWidget(LoggingConfigurable, QtGui.QWidget): | |||||
137 | font_changed = QtCore.Signal(QtGui.QFont) |
|
137 | font_changed = QtCore.Signal(QtGui.QFont) | |
138 |
|
138 | |||
139 | #------ Protected class variables ------------------------------------------ |
|
139 | #------ Protected class variables ------------------------------------------ | |
140 |
|
140 | |||
|
141 | # control handles | |||
|
142 | _control = None | |||
|
143 | _page_control = None | |||
|
144 | _splitter = None | |||
|
145 | ||||
141 | # When the control key is down, these keys are mapped. |
|
146 | # When the control key is down, these keys are mapped. | |
142 | _ctrl_down_remap = { QtCore.Qt.Key_B : QtCore.Qt.Key_Left, |
|
147 | _ctrl_down_remap = { QtCore.Qt.Key_B : QtCore.Qt.Key_Left, | |
143 | QtCore.Qt.Key_F : QtCore.Qt.Key_Right, |
|
148 | QtCore.Qt.Key_F : QtCore.Qt.Key_Right, | |
@@ -182,8 +187,6 class ConsoleWidget(LoggingConfigurable, QtGui.QWidget): | |||||
182 | layout = QtGui.QStackedLayout(self) |
|
187 | layout = QtGui.QStackedLayout(self) | |
183 | layout.setContentsMargins(0, 0, 0, 0) |
|
188 | layout.setContentsMargins(0, 0, 0, 0) | |
184 | self._control = self._create_control() |
|
189 | self._control = self._create_control() | |
185 | self._page_control = None |
|
|||
186 | self._splitter = None |
|
|||
187 | if self.paging in ('hsplit', 'vsplit'): |
|
190 | if self.paging in ('hsplit', 'vsplit'): | |
188 | self._splitter = QtGui.QSplitter() |
|
191 | self._splitter = QtGui.QSplitter() | |
189 | if self.paging == 'hsplit': |
|
192 | if self.paging == 'hsplit': |
@@ -533,12 +533,14 class IPythonWidget(FrontendWidget): | |||||
533 | """ Set the style sheets of the underlying widgets. |
|
533 | """ Set the style sheets of the underlying widgets. | |
534 | """ |
|
534 | """ | |
535 | self.setStyleSheet(self.style_sheet) |
|
535 | self.setStyleSheet(self.style_sheet) | |
536 | self._control.document().setDefaultStyleSheet(self.style_sheet) |
|
536 | if self._control is not None: | |
537 | if self._page_control: |
|
537 | self._control.document().setDefaultStyleSheet(self.style_sheet) | |
|
538 | bg_color = self._control.palette().window().color() | |||
|
539 | self._ansi_processor.set_background_color(bg_color) | |||
|
540 | ||||
|
541 | if self._page_control is not None: | |||
538 | self._page_control.document().setDefaultStyleSheet(self.style_sheet) |
|
542 | self._page_control.document().setDefaultStyleSheet(self.style_sheet) | |
539 |
|
543 | |||
540 | bg_color = self._control.palette().window().color() |
|
|||
541 | self._ansi_processor.set_background_color(bg_color) |
|
|||
542 |
|
544 | |||
543 |
|
545 | |||
544 | def _syntax_style_changed(self): |
|
546 | def _syntax_style_changed(self): |
General Comments 0
You need to be logged in to leave comments.
Login now