Andrei Kudryavtsev da3ac6bff0 fix(gui): various tabs related fixes (PR #2595) ...

* 1. Fix tab rendering when preview state changed

* 2. Fix selected tab after closing currently active tab

* 3. Fix tab selection when pinning currently active tab

* 4. Make current preview tab permanent on double click

* 5. Fix preview tab font not reloading on settings change

2025-08-04 18:09:22 +01:00

..

src

fix(gui): various tabs related fixes (PR #2595)

2025-08-04 18:09:22 +01:00

build.gradle.kts

chore: update dependencies

2025-07-19 19:08:18 +01:00