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

Simplify filler rendering

Browse Source
This commit is contained in:
Kim Silkebækken 2012-11-14 20:48:07 +01:00
parent bef6c430ad
commit 94cd934268
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/core.py
View File

@ -212,8 +212,6 @@ class Segment:
# No width specified, so we don't need to crop or pad anything # No width specified, so we don't need to crop or pad anything
return rendered['highlighted'] return rendered['highlighted']
import math
# Create an ordered list of segments that can be dropped # Create an ordered list of segments that can be dropped
segments_priority = [segment for segment in sorted(segments, key=lambda segment: segment.priority, reverse=True) if segment.priority > 0] segments_priority = [segment for segment in sorted(segments, key=lambda segment: segment.priority, reverse=True) if segment.priority > 0]
@ -225,9 +223,10 @@ class Segment:
# Distribute the remaining space on the filler segments # Distribute the remaining space on the filler segments
segments_fillers = [segment for segment in segments if segment.filler is True] segments_fillers = [segment for segment in segments if segment.filler is True]
segments_fillers_contents = ' ' * math.floor((width - len(rendered['raw'])) / len(segments_fillers)) if segments_fillers:
for segment in segments_fillers: segments_fillers_contents = ' ' * int((width - len(rendered['raw'])) / len(segments_fillers))
segment.contents = segments_fillers_contents for segment in segments_fillers:
segment.contents = segments_fillers_contents
# Do a final render now that we have handled the cropping and padding # Do a final render now that we have handled the cropping and padding
rendered = render_segments(segments, render_raw=False) rendered = render_segments(segments, render_raw=False)