group indicator preferences
This commit is contained in:
parent
b8b49637e2
commit
6ecd429d8f
@ -1196,18 +1196,6 @@ tabs.favicons.show:
|
||||
type: Bool
|
||||
desc: Show favicons in the tab bar.
|
||||
|
||||
tabs.indicator_padding:
|
||||
renamed: tabs.indicator.padding
|
||||
|
||||
tabs.indicator.padding:
|
||||
default:
|
||||
top: 2
|
||||
bottom: 2
|
||||
left: 0
|
||||
right: 4
|
||||
type: Padding
|
||||
desc: Padding (in pixels) for tab indicators.
|
||||
|
||||
tabs.last_close:
|
||||
default: ignore
|
||||
type:
|
||||
@ -1355,6 +1343,18 @@ tabs.indicator.width:
|
||||
minval: 0
|
||||
desc: Width (in pixels) of the progress indicator (0 to disable).
|
||||
|
||||
tabs.indicator_padding:
|
||||
renamed: tabs.indicator.padding
|
||||
|
||||
tabs.indicator.padding:
|
||||
default:
|
||||
top: 2
|
||||
bottom: 2
|
||||
left: 0
|
||||
right: 4
|
||||
type: Padding
|
||||
desc: Padding (in pixels) for tab indicators.
|
||||
|
||||
tabs.width.pinned:
|
||||
deleted: true
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user