mirror of https://github.com/bjeanes/dotfiles.git
20 lines
380 B
JSON
20 lines
380 B
JSON
{
|
|
"default_module": "powerline.segments.plugin.gundo",
|
|
"segments": {
|
|
"left": [
|
|
{
|
|
"type": "string",
|
|
"highlight_group": ["gundo.name", "file_name"],
|
|
"contents": "Undo tree"
|
|
},
|
|
{
|
|
"type": "string",
|
|
"highlight_group": ["gundo.background", "background"],
|
|
"draw_soft_divider": false,
|
|
"draw_hard_divider": false,
|
|
"width": "auto"
|
|
}
|
|
]
|
|
}
|
|
}
|