Added configurable scaling priorities in options. (#277)

This commit is contained in:
Jas Singh
2024-09-21 00:43:53 -07:00
committed by GitHub
parent afb245f8d6
commit 6be9030ac5
4 changed files with 21 additions and 1 deletions

View File

@@ -16,6 +16,7 @@ import {
NotificationAnchor,
OSDAnchor,
OSDOrientation,
ScalingPriority,
WindowLayer,
} from 'lib/types/options';
import { MatugenScheme, MatugenTheme, MatugenVariations } from 'lib/types/options';
@@ -1053,6 +1054,8 @@ const options = mkOptions(OPTIONS, {
},
},
scalingPriority: opt<ScalingPriority>('gdk'),
terminal: opt('kitty'),
tear: opt(false),