Merge branch 'develop' into porting_js

This commit is contained in:
Elian Doran
2025-03-03 20:30:15 +02:00
committed by GitHub
118 changed files with 881 additions and 831 deletions

View File

@@ -15,7 +15,7 @@ const TAB_CONTAINER_MIN_WIDTH = 24;
const TAB_CONTAINER_MAX_WIDTH = 240;
const TAB_CONTAINER_LEFT_PADDING = 5;
const NEW_TAB_WIDTH = 32;
const MIN_FILLER_WIDTH = (isDesktop ? 50 : 15);
const MIN_FILLER_WIDTH = isDesktop ? 50 : 15;
const MARGIN_WIDTH = 5;
const TAB_SIZE_SMALL = 84;