You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
380 B
20 lines
380 B
{
|
|
"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"
|
|
}
|
|
]
|
|
}
|
|
}
|