blob: a7b3cdd252b7500571a2386afaf7b5bfa01a3ecd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- options.h.orig 2024-04-22 10:18:21 UTC
+++ options.h
@@ -136,7 +136,7 @@ yes_no ( grey_edge , true )
yes_no ( fully_covered , false )
yes_no ( fuse , false )
yes_no ( grey_edge , true )
-option ( gui_font , "" )
+option ( gui_font , "%%GUIFONT%%" )
integer ( gui_extent , 0 )
real ( gui_scale_factor , 0.0 )
yes_no ( gpu_for_srgb , false )
|