From 24f5667327f942b11daed40d9686d63f967d576e Mon Sep 17 00:00:00 2001
From: Guanran Wang <guanran928@outlook.com>
Date: Wed, 10 Jan 2024 04:42:07 +0800
Subject: [PATCH] home: terminal: re-add padding

accidentally commited in 40fe7d20358ede7a0d551b15d7755e8870e02824
---
 users/guanranwang/home-manager/modules/terminal.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/users/guanranwang/home-manager/modules/terminal.nix b/users/guanranwang/home-manager/modules/terminal.nix
index c5e329e..17737d8 100644
--- a/users/guanranwang/home-manager/modules/terminal.nix
+++ b/users/guanranwang/home-manager/modules/terminal.nix
@@ -45,8 +45,8 @@ in {
 
       padding = lib.mkOption {
         type = lib.types.int;
-        default = 0;
-        example = 8;
+        default = 8;
+        example = config.myFlake.home-manager.terminal.fontSize;
         description = "Select desired terminal padding size (in px).";
       };
     };