fix chaotic codium tabs management

This commit is contained in:
2023-05-16 11:05:20 +02:00
parent 2293fdde90
commit e16ce485f9
2 changed files with 6 additions and 6 deletions