You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In PR #3663 I assume that tabulation width will be always 4 spaces, and indentation could look wrong depending of tab_stop_width value, I think this could be improved defining it in spaces instead of pixels
I suggest:
change:
/config/main.py 'tab_stop_width': 40,
to 'tab_stop_width_spaces': 4,
use tab_stop_width_spaces in fix_indent calculations
and set tab stop using space width self.setTabStopWidth('tab_stop_width_spaces * self.editor.fontMetrics().width(' '))
The text was updated successfully, but these errors were encountered:
rlaverde
changed the title
Define tabulation with in term of spaces instead of pixels
Define tabulation in term of spaces instead of pixels
Nov 23, 2016
rlaverde
changed the title
Define tabulation in term of spaces instead of pixels
Define tabulation width in term of spaces instead of pixels
Nov 23, 2016
Yeah, please go for it! I haven't touched our support for tabs in a long time, so it'd be really nice to improve it (given that we already offer it :-)
In PR #3663 I assume that tabulation width will be always 4 spaces, and indentation could look wrong depending of
tab_stop_width
value, I think this could be improved defining it in spaces instead of pixelsI suggest:
change:
/config/main.py
'tab_stop_width': 40,
to
'tab_stop_width_spaces': 4,
use tab_stop_width_spaces in
fix_indent
calculationsand set tab stop using space width
self.setTabStopWidth('tab_stop_width_spaces * self.editor.fontMetrics().width(' '))
The text was updated successfully, but these errors were encountered: