The last checkboxes on the configuration page will not stay checked after saving the configuration. However, the options I selected are actually respected. It looks like the configuration is actually saved, because the modules are kept enabled when I choose to disable developer modules, but those selections are not displayed on the configuration page.

CommentFileSizeAuthor
#1 admin_menu.devel-modules-skip.1.patch715 bytessun

Comments

sun’s picture

sun
Primary language German
Location Karlsruhe
commented
Status: Active » Fixed
StatusFileSize
new admin_menu.devel-modules-skip.1.patch715 bytes

Thanks for reporting, reviewing, and testing! Committed attached patch.

A new development snapshot will be available within the next 12 hours. This improvement will be available in the next official release.

Status: Fixed » Closed (fixed)

Automatically closed -- issue fixed for 2 weeks with no activity.