The default indentation seems to be 8. How to change it?

CommentFileSizeAuthor
#3 1831180.patch2.79 KByukare
Support from Acquia helps fund testing for Drupal Acquia logo

Comments

soxofaan’s picture

soxofaan CreditAttribution: soxofaan commented

If you use the PRE container, tabs are preserved in the markup and handled by the browser. You can control this tab width with css (e.g. tab-size: 4;), but this is not supported by all browsers.

If you use another container, the GeSHi library replaces tabs with spaces, eight by default. It is possible to change the tab width, but this is not supported currently by the GeSHi filter for syntax highlighting module.

yukare’s picture

yukare CreditAttribution: yukare commented
Version: 7.x-1.x-dev » 8.x-1.x-dev
Category: Support request » Feature request
Issue summary: View changes

This is kinda simple to implement, so i will do it for drupal 8. We just need to add a new global setting: tab width and use this $geshi->set_tab_width($width); on geshiprocess.

yukare’s picture

yukare CreditAttribution: yukare commented
Status: Active » Needs review
FileSize
1831180.patch2.79 KB

It is working, lets see the test.

  • yukare authored e95501f on 8.x-1.x 
    Issue #1831180 by yukare: How to change the indentation?
yukare’s picture

yukare CreditAttribution: yukare commented
Status: Needs review » Fixed

Fixed with the commit.

Status: Fixed » Closed (fixed)

Automatically closed - issue fixed for 2 weeks with no activity.