##// END OF EJS Templates
Merge pull request #8916 from wbolster/add-whitespace-placeholder-for-interactive-prompts...
Min RK -
r21753:5ee65a1a merge
parent child Browse files
Show More
@@ -160,9 +160,10 b' prompt_abbreviations = {'
160 # can get numbers displayed in whatever color they want.
160 # can get numbers displayed in whatever color they want.
161 r'\N': '{count}',
161 r'\N': '{count}',
162
162
163 # Prompt/history count, with the actual digits replaced by dots. Used
163 # Prompt/history count, with the actual digits replaced by dots or
164 # mainly in continuation prompts (prompt_in2)
164 # spaces. Used mainly in continuation prompts (prompt_in2).
165 r'\D': '{dots}',
165 r'\D': '{dots}',
166 r'\S': '{spaces}',
166
167
167 # Current time
168 # Current time
168 r'\T' : '{time}',
169 r'\T' : '{time}',
@@ -391,8 +392,8 b' class PromptManager(Configurable):'
391 count = self.shell.execution_count # Shorthand
392 count = self.shell.execution_count # Shorthand
392 # Build the dictionary to be passed to string formatting
393 # Build the dictionary to be passed to string formatting
393 fmtargs = dict(color=colors, count=count,
394 fmtargs = dict(color=colors, count=count,
394 dots="."*len(str(count)),
395 dots="."*len(str(count)), spaces=" "*len(str(count)),
395 width=self.width, txtwidth=self.txtwidth )
396 width=self.width, txtwidth=self.txtwidth)
396 fmtargs.update(self.lazy_evaluate_fields)
397 fmtargs.update(self.lazy_evaluate_fields)
397 fmtargs.update(kwargs)
398 fmtargs.update(kwargs)
398
399
General Comments 0
You need to be logged in to leave comments. Login now