Collection<OptionDescription> () { return ContainerUtil.concat( GeneralSettingsConfigurableKt.getAllOptionDescriptors(), List.of( option(OptionsTopHitProvider.messageIde("option.show.tips.on.startup"), "isShowTipsOnStartup", "setShowTipsOnStartup"), option(OptionsTopHitProvider.messageIde("checkbox.support.screen.readers"), "isSupportScreenReaders", "setSupportScreenReaders"), option(OptionsTopHitProvider.messageIde("label.start.search.in.background"), "isSearchInBackground", "setSearchInBackground") ) ); }