Merge remote-tracking branch 'origin/pr/3733'

This commit is contained in:
Florian Bruhin 2018-03-18 18:59:41 +01:00
commit b154846bdc

View File

@ -1325,7 +1325,10 @@ tabs.show:
tabs.show_switching_delay:
default: 800
type: Int
type:
name: Int
minval: 0
maxval: maxint
desc: "Duration (in milliseconds) to show the tab bar before hiding it when
tabs.show is set to 'switching'."