GitHub Indent Comments

A userscript that allows you to indent & outdent blocks in the comment editor

Автор
Mottie
Установок в день
0
Всего установок
70
Оценки
3 0 0
Версия
1.0.18
Создано
16.03.2017
Обновлено
17.02.2024
Размер
4,9 КБ
Лицензия
MIT
Работает на

A userscript that allows you to indent & outdent blocks in the comment editor

  • It only works on issue & gist comment pages.
  • Click on the "Indent" button or the Tab key to add a set number of spaces to the left of the selected text.
  • Click on the "Outdent" button or Shift+Tab to remove zero to the set number of spaces to the left of the selected text.
  • If no text is selected, the set number of spaces is added or removed to the right of the cursor.
  • Use the userscript addon to change the set number of spaces (see screenshot below). It is set to 2 spaces by default.

github-indent-comments

* NOTES *

  • The "Toggle monospaced font" can be added by installing the userscript; or, install the GitHub-Dark Script which adds multiple scripts & a dark theme.
  • The default of two spaces are being added & removed in the above screenshot.

Hosted with ♥ at GitHub

长期地址
遇到问题?请前往 GitHub 提 Issues。