mirror of
https://github.com/gitui-org/gitui
synced 2026-05-24 09:28:21 +00:00
cleanup
This commit is contained in:
parent
4ea8124a10
commit
4caf8ddff9
2 changed files with 2 additions and 2 deletions
|
|
@ -12,7 +12,7 @@ use tui::{
|
||||||
backend::Backend,
|
backend::Backend,
|
||||||
layout::{Alignment, Constraint, Direction, Layout, Rect},
|
layout::{Alignment, Constraint, Direction, Layout, Rect},
|
||||||
style::{Modifier, Style},
|
style::{Modifier, Style},
|
||||||
widgets::{Block, Borders, Clear, Paragraph, Text, BorderType},
|
widgets::{Block, BorderType, Borders, Clear, Paragraph, Text},
|
||||||
Frame,
|
Frame,
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -30,7 +30,7 @@ use tui::{
|
||||||
backend::Backend,
|
backend::Backend,
|
||||||
layout::Alignment,
|
layout::Alignment,
|
||||||
layout::Rect,
|
layout::Rect,
|
||||||
widgets::{Block, BorderType, Borders, Paragraph, Text},
|
widgets::{Block, Borders, Paragraph, Text},
|
||||||
Frame,
|
Frame,
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue