pre-release 3.2.0-8
Moderators: Flumminator, Zomis
I'm talking about the following settings saved in setup.conf:
These settings can be changed in "Setup -> Editor Settings" in 3.1.1
While 3.2.0-8 only affects:
editor.el_chars
editor.el_custom
editor.el_headlines
editor.el_user_defined
editor.el_dynamic
editor.show_element_token
So, changing the sokoban elements to off in 3.1.1 gives no possibility to enable them in 3.2.0-8... or have I missed something?
Code: Select all
editor.el_boulderdash: on
editor.el_emerald_mine: on
editor.el_emerald_mine_club: off
editor.el_more: on
editor.el_sokoban: off
editor.el_supaplex: on
editor.el_diamond_caves: on
editor.el_dx_boulderdash: on
editor.el_chars: on
editor.el_custom: on
editor.el_headlines: on
editor.el_user_defined: off
editor.el_dynamic: on
editor.show_element_token: on
While 3.2.0-8 only affects:
editor.el_chars
editor.el_custom
editor.el_headlines
editor.el_user_defined
editor.el_dynamic
editor.show_element_token
So, changing the sokoban elements to off in 3.1.1 gives no possibility to enable them in 3.2.0-8... or have I missed something?