personal-gui: Allow terminal fonts to be floating numbers

This commit is contained in:
traxys 2023-07-26 09:50:46 +02:00
parent b52ea25b7c
commit 351cdc3afd

View file

@ -57,7 +57,7 @@ in {
};
font = {
size = mkOption {
type = types.int;
type = types.number;
default = 12;
description = "terminal font size";
};