···

       
14
       
14
       
 
       
    };

     

       
15
       
15
       
 
       


     

       
16
       
16
       
 
       
    font_size = mkOption {

     

       
17
       
17
       
-
       
      default = if helpers.isDarwin then 14 else 12;

     

       
18
       
18
       
-
       
      type = types.int;

     

       
17
       
17
       
+
       
      default = if helpers.isDarwin then 14 else 11.5;

     

       
18
       
18
       
+
       
      type = types.either types.int types.float;

     

       
19
       
19
       
 
       
    };

     

       
20
       
20
       
 
       


     

       
21
       
21
       
 
       
    cell_adjust = mkOption {