Skip to content

Add tab width option to user preferences

A. I. Oleynikov requested to merge (removed):13904-tab-width-option into master

What does this MR do?

This MR implements an MVP for #13904 (closed).

Tab width option is added to user preferences. The specified tab width is applied as a tab-size property to the body element, which is inherited by:

  • inline and parallel diffs in commits and MRs
  • code spans and code blocks in rendered markup (Markdown, Rdoc, etc.)
  • blame
  • merge conflicts
  • code suggestions
  • snippets
  • blob previews
  • Sherlock file samples
  • CI logs
  • basically any pre element or elements with white-space: pre-wrap or white-space: break-spaces.

This setting doesn't apply to Web IDE, file editor or markdown editor. These cases can be addressed in future iterations.

Also in the issue some people asked for project-wide tab width settings based on .editorconfig, this is not covered by this MVP too.

Screenshots

Screenshot_from_2019-12-19_01-11-14

Does this MR meet the acceptance criteria?

Conformity

Availability and Testing

Edited by 🤖 GitLab Bot 🤖

Merge request reports