Show More
@@ -38,7 +38,7 b' class IPythonWidget(FrontendWidget):' | |||||
38 |
|
38 | |||
39 | # A dark stylesheet: white text on a black background. |
|
39 | # A dark stylesheet: white text on a black background. | |
40 | dark_stylesheet = """ |
|
40 | dark_stylesheet = """ | |
41 | QPlainTextEdit { background-color: black; color: white } |
|
41 | QPlainTextEdit, QTextEdit { background-color: black; color: white } | |
42 | QFrame { border: 1px solid grey; } |
|
42 | QFrame { border: 1px solid grey; } | |
43 | .error { color: red; } |
|
43 | .error { color: red; } | |
44 | .in-prompt { color: lime; } |
|
44 | .in-prompt { color: lime; } | |
@@ -198,7 +198,7 b' class IPythonWidget(FrontendWidget):' | |||||
198 | """ Restores the default IPythonWidget styling. |
|
198 | """ Restores the default IPythonWidget styling. | |
199 | """ |
|
199 | """ | |
200 | self.set_styling(self.default_stylesheet, syntax_style='default') |
|
200 | self.set_styling(self.default_stylesheet, syntax_style='default') | |
201 |
# |
|
201 | #self.set_styling(self.dark_stylesheet, syntax_style='monokai') | |
202 |
|
202 | |||
203 | def set_editor(self, editor): |
|
203 | def set_editor(self, editor): | |
204 | """ Sets the editor to use with the %edit magic. |
|
204 | """ Sets the editor to use with the %edit magic. |
@@ -15,17 +15,6 b' class RichIPythonWidget(IPythonWidget):' | |||||
15 | # Protected class variables. |
|
15 | # Protected class variables. | |
16 | _svg_text_format_property = 1 |
|
16 | _svg_text_format_property = 1 | |
17 |
|
17 | |||
18 | # We need to override this because this class uses QTextEdit. |
|
|||
19 | dark_stylesheet = """ |
|
|||
20 | QTextEdit { background-color: black; color: white } |
|
|||
21 | QFrame { border: 1px solid grey; } |
|
|||
22 | .error { color: red; } |
|
|||
23 | .in-prompt { color: lime; } |
|
|||
24 | .in-prompt-number { color: lime; font-weight: bold; } |
|
|||
25 | .out-prompt { color: red; } |
|
|||
26 | .out-prompt-number { color: red; font-weight: bold; } |
|
|||
27 | """ |
|
|||
28 |
|
||||
29 | #--------------------------------------------------------------------------- |
|
18 | #--------------------------------------------------------------------------- | |
30 | # 'object' interface |
|
19 | # 'object' interface | |
31 | #--------------------------------------------------------------------------- |
|
20 | #--------------------------------------------------------------------------- |
General Comments 0
You need to be logged in to leave comments.
Login now