Fixed bug #6210: UserTSConfig value "options.moduleMenuCollapsable=0" does not work.