oss/luanti
oss/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-08-21 18:11:11 +00:00
Code Wiki Activity

Add option to use neither node highlighting nor outlining

Browse source
This commit is contained in:
ezhh 2017-05-11 23:18:36 +01:00 • committed by Craig Robbins
parent febd07fc0d
commit 018217f6b2
5 changed files with 26 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

5
builtin/mainmenu/tab_settings.lua
View file

@ -25,7 +25,8 @@ local labels = {
},
node_highlighting = {
fgettext("Node Outlining"),
fgettext("Node Highlighting")
fgettext("Node Highlighting"),
fgettext("None")
},
filters = {
fgettext("No Filter"),
@ -52,7 +53,7 @@ local dd_options = {
},
node_highlighting = {
table.concat(labels.node_highlighting, ","),
{"box", "halo"}
{"box", "halo", "none"}
},
filters = {
table.concat(labels.filters, ","),