Francesco Abbate a92d15fe30 Use all the available space for tabs ...

Use a tab's width larger than style.tab_width if there is enough
available space to display the number of tabs specified in
config.max_tabs.

2021-05-19 10:09:40 +02:00

..

colors

Implement user's config as init file and add directory into package.path

2020-12-02 16:03:31 +01:00

core

Use all the available space for tabs

2021-05-19 10:09:40 +02:00

fonts

Add buttons to scroll tabs when there are too many

2021-05-16 15:50:27 +02:00

plugins

Introduce new plugin versioning tag mod-version

2021-05-05 22:38:29 +02:00

user

Fix font size in initial user's config

2021-03-01 09:48:12 +01:00