##// END OF EJS Templates
Minor cleanup related to tab widths.
epatters -
Show More
@@ -30,7 +30,7 b' class ConsoleWidget(QtGui.QPlainTextEdit):'
30 override_shortcuts = False
30 override_shortcuts = False
31
31
32 # The number of spaces to show for a tab character.
32 # The number of spaces to show for a tab character.
33 tab_width = 4
33 tab_width = 8
34
34
35 # Protected class variables.
35 # Protected class variables.
36 _ctrl_down_remap = { QtCore.Qt.Key_B : QtCore.Qt.Key_Left,
36 _ctrl_down_remap = { QtCore.Qt.Key_B : QtCore.Qt.Key_Left,
@@ -64,6 +64,9 b' class FrontendWidget(HistoryConsoleWidget):'
64 """ A Qt frontend for a generic Python kernel.
64 """ A Qt frontend for a generic Python kernel.
65 """
65 """
66
66
67 # ConsoleWidget interface.
68 tab_width = 4
69
67 # Emitted when an 'execute_reply' is received from the kernel.
70 # Emitted when an 'execute_reply' is received from the kernel.
68 executed = QtCore.pyqtSignal(object)
71 executed = QtCore.pyqtSignal(object)
69
72
@@ -139,7 +142,8 b' class FrontendWidget(HistoryConsoleWidget):'
139 if self._get_prompt_cursor().blockNumber() != \
142 if self._get_prompt_cursor().blockNumber() != \
140 self._get_end_cursor().blockNumber():
143 self._get_end_cursor().blockNumber():
141 spaces = self._input_splitter.indent_spaces
144 spaces = self._input_splitter.indent_spaces
142 self.appendPlainText('\t' * (spaces / 4) + ' ' * (spaces % 4))
145 self.appendPlainText('\t' * (spaces / self.tab_width))
146 self.appendPlainText(' ' * (spaces % self.tab_width))
143
147
144 def _prompt_finished_hook(self):
148 def _prompt_finished_hook(self):
145 """ Called immediately after a prompt is finished, i.e. when some input
149 """ Called immediately after a prompt is finished, i.e. when some input
General Comments 0
You need to be logged in to leave comments. Login now