Kovid Goyal 022bee0560
Add a new option tab_title_template to control how tab titles are formatted.
In particular the template can be used to display the tab number next to the title
Merge branch 'tab-title-index' of https://github.com/nerdrew/kitty
2018-12-13 13:33:06 +05:30
..
2018-05-30 20:28:48 +05:30
...
2018-09-11 08:26:31 +05:30
2018-10-18 08:30:47 +05:30
...
2018-06-26 12:35:38 +05:30
2018-12-12 03:43:08 -08:00
2018-06-01 10:31:52 +05:30
...
2018-06-23 10:34:35 +05:30
2018-12-03 10:58:23 +01:00
2018-09-08 06:28:30 +05:30
2018-06-08 22:17:07 +05:30
2018-06-08 22:17:07 +05:30