tyler.durden/powerline
1
0
Fork 0
mirror of https://github.com/powerline/powerline.git synced 2025-07-23 13:55:45 +02:00
Code Issues Packages Projects Releases Wiki Activity

Make spaces around the divider configurable

Browse Source 
Fixes #225
This commit is contained in:
ZyX 2013-02-16 01:47:41 +04:00 committed by Kim Silkebækken
parent 6fc7d6acc9
commit 2a3911dbe6
3 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
powerline/config_files/config.json
View File

@ -10,7 +10,8 @@
"hard": " ", "hard": " ",
"soft": " " "soft": " "
} }
} },
"spaces": 1
}, },
"ext": { "ext": {
"ipython": { "ipython": {

7
powerline/renderer.py
View File

@ -104,6 +104,7 @@ class Renderer(object):
divider_type = 'soft' if compare_segment['highlight'][mode]['bg'] == segment['highlight'][mode]['bg'] else 'hard' divider_type = 'soft' if compare_segment['highlight'][mode]['bg'] == segment['highlight'][mode]['bg'] else 'hard'
divider_raw = theme.get_divider(segment['side'], divider_type) divider_raw = theme.get_divider(segment['side'], divider_type)
divider_spaces = theme.get_spaces()
divider_highlighted = '' divider_highlighted = ''
contents_raw = segment['contents'] contents_raw = segment['contents']
contents_highlighted = '' contents_highlighted = ''
@ -111,11 +112,9 @@ class Renderer(object):
# Pad segments first # Pad segments first
if segment['draw_divider'] or (divider_type == 'hard' and segment['width'] != 'auto'): if segment['draw_divider'] or (divider_type == 'hard' and segment['width'] != 'auto'):
if segment['side'] == 'left': if segment['side'] == 'left':
contents_raw = outer_padding + (segment['_space_left'] * ' ') + contents_raw + (segment['_space_right'] * ' ') + ' ' contents_raw = outer_padding + (segment['_space_left'] * ' ') + contents_raw + ((divider_spaces + segment['_space_right']) * ' ')
divider_raw = divider_raw + ' '
else: else:
contents_raw = ' ' + (segment['_space_left'] * ' ') + contents_raw + (segment['_space_right'] * ' ') + outer_padding contents_raw = ((divider_spaces + segment['_space_left']) * ' ') + contents_raw + (segment['_space_right'] * ' ') + outer_padding
divider_raw = ' ' + divider_raw
else: else:
if segment['side'] == 'left': if segment['side'] == 'left':
contents_raw = outer_padding + (segment['_space_left'] * ' ') + contents_raw + (segment['_space_right'] * ' ') contents_raw = outer_padding + (segment['_space_left'] * ' ') + contents_raw + (segment['_space_right'] * ' ')

4
powerline/theme.py
View File

@ -20,6 +20,7 @@ class Theme(object):
def __init__(self, ext, colorscheme, theme_config, common_config, segment_info=None): def __init__(self, ext, colorscheme, theme_config, common_config, segment_info=None):
self.colorscheme = colorscheme self.colorscheme = colorscheme
self.dividers = theme_config.get('dividers', common_config['dividers']) self.dividers = theme_config.get('dividers', common_config['dividers'])
self.spaces = theme_config.get('spaces', common_config['spaces'])
self.segments = { self.segments = {
'left': [], 'left': [],
'right': [], 'right': [],
@ -37,6 +38,9 @@ class Theme(object):
'''Return segment divider.''' '''Return segment divider.'''
return self.dividers[side][type] return self.dividers[side][type]
def get_spaces(self):
return self.spaces
def add_highlight(self, segment): def add_highlight(self, segment):
segment['highlight'] = self.colorscheme.get_group_highlighting(segment['highlight_group']) segment['highlight'] = self.colorscheme.get_group_highlighting(segment['highlight_group'])
if segment['divider_highlight_group']: if segment['divider_highlight_group']: