diff options
| author | Aaron Suen <warr1024@gmail.com> | 2015-03-09 09:32:11 -0400 |
|---|---|---|
| committer | kwolekr <kwolekr@minetest.net> | 2015-04-01 00:01:05 -0400 |
| commit | 6d61375cc72bad5c569d25c253adca4e3701dd27 (patch) | |
| tree | 790accab0443ebcff77790da83a306d713045b01 /minetest.conf.example | |
| parent | b4247dff2e003dd8c5ea5a1f3ae349d0bfab90bc (diff) | |
| download | minetest-6d61375cc72bad5c569d25c253adca4e3701dd27.tar.gz minetest-6d61375cc72bad5c569d25c253adca4e3701dd27.tar.bz2 minetest-6d61375cc72bad5c569d25c253adca4e3701dd27.zip | |
Clean scaling pre-filter for formspec/HUD.
Diffstat (limited to 'minetest.conf.example')
| -rw-r--r-- | minetest.conf.example | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/minetest.conf.example b/minetest.conf.example index fd43d2797..d9c3eb61c 100644 --- a/minetest.conf.example +++ b/minetest.conf.example @@ -172,6 +172,19 @@ #crosshair_alpha = 255 # Scale gui by a user specified value #gui_scaling = 1.0 +# Use a nearest-neighbor-anti-alias filter to scale the GUI. +# This will smooth over some of the rough edges, and blend +# pixels when scaling down, at the cost of blurring some +# edge pixels when images are scaled by non-integer sizes. +#gui_scaling_filter = false +# When gui_scaling_filter = true, all GUI images need to be +# filtered in software, but some images are generated directly +# to hardare (e.g. render-to-texture for nodes in inventory). +# When gui_scaling_filter_txr2img is true, copy those images +# from hardware to software for scaling. When false, fall back +# to the old scaling method, for video drivers that don't +# propery support downloading textures back from hardware. +#gui_scaling_filter_txr2img = true # Sensitivity multiplier #mouse_sensitivity = 0.2 # Sound settings |