Details

    • Type: Improvement Improvement
    • Status: Resolved Resolved
    • Priority: Major Major
    • Resolution: Complete
    • Affects Version/s: None
    • Fix Version/s: 0.3.0
    • Component/s: None
    • Labels:
      None

      Description

      There doesn't appear to be support for spaces instead of tabs, and setting the width of the spaces/tabs.

        Activity

        Hide
        Andy Clement (c) added a comment -

        The options exist inside the editor, they were just not being surfaced as configurable. I have now exposed them for configuration through the .scripted file.

        {
        	"editor": {
        		"expandtab": true,
        		"tabsize": 4
        	}
        }
        

        expandtab determines whether tabs are expanded as spaces
        tabsize sets the number of spaces that constitute a tab

        Show
        Andy Clement (c) added a comment - The options exist inside the editor, they were just not being surfaced as configurable. I have now exposed them for configuration through the .scripted file. { "editor" : { "expandtab" : true , "tabsize" : 4 } } expandtab determines whether tabs are expanded as spaces tabsize sets the number of spaces that constitute a tab
        Hide
        Andy Clement (c) added a comment -

        changes committed - we should, at some point, enforce consistency across formatter configuration and editor configuration.

        Show
        Andy Clement (c) added a comment - changes committed - we should, at some point, enforce consistency across formatter configuration and editor configuration.

          People

          • Assignee:
            Andy Clement (c)
            Reporter:
            Hao Hu
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:
              First Response Date: