pre-release 3.2.0-8

[Zomis]

When disabling any element groups in the editor setup in 3.1.2, I can't find a way to enable them again in 3.2.0-8...

[Holger]

What do you mean by "disabling any element groups in the editor setup"?

I only see the options "custom" and "more custom" there, which is replaced by "custom & group" in 3.2.0.

So this shouldn't cause a problem...

[Zomis]

I'm talking about the following settings saved in setup.conf:

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

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?

[Holger]

Ah, now I know what you mean! (I thought of "group elements" when you wrote "element groups" above... :-D )

Seems that you're right. This should be fixed -- disabling these game related element groups shouldn't be possible anymore, as they can now be collapsed in the editor.