131 if Globals.isWindowsPlatform(): |
131 if Globals.isWindowsPlatform(): |
132 self.setFont(QFont(["Courier"], 10)) |
132 self.setFont(QFont(["Courier"], 10)) |
133 else: |
133 else: |
134 self.setFont(QFont(["Monospace"], 10)) |
134 self.setFont(QFont(["Monospace"], 10)) |
135 |
135 |
|
136 # TODO: make some colors custimizable |
136 self.setAddressAreaColors( |
137 self.setAddressAreaColors( |
137 self.palette().color(QPalette.ColorRole.WindowText), |
138 self.palette().color(QPalette.ColorRole.WindowText), |
138 self.palette().alternateBase().color()) |
139 self.palette().alternateBase().color()) |
139 self.setHighlightColors( |
140 self.setHighlightColors( |
140 self.palette().color(QPalette.ColorRole.WindowText), |
141 self.palette().color(QPalette.ColorRole.WindowText), |