Improve the interactive PR selection UI by - prefix the PR number with hashcode # - perserve the text formatting (bold) upon an option is hovered - add the PR head label Technical changes: - Replace \033[0m with \033[39m for maintaining text formatting |
||
|---|---|---|
| .. | ||
| cmd | ||
| cmdutil | ||
| extensions | ||
| findsh | ||
| githubtemplate | ||
| httpmock | ||
| iostreams | ||
| jsoncolor | ||
| jsonfieldstest | ||
| markdown | ||
| option | ||
| search | ||
| set | ||
| ssh | ||
| surveyext | ||