This adds an option to color newly opened tabs automatically. Once a tab is closed and then opened again, a new random color is used. An option is available to enable/disable this, and it is disabled by default.
This PR builds upon #24, but I couldn't find a way to change the base of this PR to that PR, so the diffs include changes of both PRs. Only the second commit is relevant for this PR. I can easily rewrite this PR to work without #24, if that one wouldn't be merged.
This adds an option to color newly opened tabs automatically. Once a tab is closed and then opened again, a new random color is used. An option is available to enable/disable this, and it is disabled by default.
This PR builds upon #24, but I couldn't find a way to change the base of this PR to that PR, so the diffs include changes of both PRs. Only the second commit is relevant for this PR. I can easily rewrite this PR to work without #24, if that one wouldn't be merged.
This implements #22.