diff options
Diffstat (limited to 'graphics/lux/files/patch-options.h')
-rw-r--r-- | graphics/lux/files/patch-options.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/graphics/lux/files/patch-options.h b/graphics/lux/files/patch-options.h new file mode 100644 index 000000000000..567f5573c2dc --- /dev/null +++ b/graphics/lux/files/patch-options.h @@ -0,0 +1,11 @@ +--- options.h.orig 2022-08-27 02:26:10 UTC ++++ options.h +@@ -132,7 +132,7 @@ yes_no ( fullscreen , 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 ( hdr_merge , false ) |