itsscb/ratatui
1
0
Fork 0
mirror of https://github.com/ratatui/ratatui.git synced 2025-10-02 15:25:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use UnicodeWidthStr::width()

Browse Source 
to get width of `divider`.

Also use `set_string` instead of `set_symbol`. The latter cuts content of a multi-char divider.
This commit is contained in:
Jens Krause 2019-01-13 18:02:58 +01:00 committed by Florian Dehau
parent f7c6620e25
commit 1c0b0abf61
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/widgets/tabs.rs
View File

@ -113,7 +113,7 @@ where
let mut x = tabs_area.left(); let mut x = tabs_area.left();
let titles_length = self.titles.len(); let titles_length = self.titles.len();
let divider_width = self.divider.chars().count() as u16; let divider_width = self.divider.width() as u16;
for (title, style, last_title) in self.titles.iter().enumerate().map(|(i, t)| { for (title, style, last_title) in self.titles.iter().enumerate().map(|(i, t)| {
let lt = i + 1 == titles_length; let lt = i + 1 == titles_length;
if i == self.selected { if i == self.selected {
@ -131,10 +131,7 @@ where
if x >= tabs_area.right() || last_title { if x >= tabs_area.right() || last_title {
break; break;
} else { } else {
buf.get_mut(x, tabs_area.top()) buf.set_string(x, tabs_area.top(), self.divider, style);
.set_symbol(self.divider)
.set_fg(self.style.fg)
.set_bg(self.style.bg);
x += divider_width; x += divider_width;
} }
} }