308         WIN_DIR_CHOOSER ("win-dir-chooser",

   308         WIN_DIR_CHOOSER ("win-dir-chooser",

   309                 OptionCategories.PLATFORM_WIN, () -> {

   309                 OptionCategories.PLATFORM_WIN, () -> {

   310             setOptionValue("win-dir-chooser", true);

   310             setOptionValue("win-dir-chooser", true);

   311         }),

   311         }),

   312 

   312 

   315         WIN_UPGRADE_UUID ("win-upgrade-uuid",

   313         WIN_UPGRADE_UUID ("win-upgrade-uuid",

   316                 OptionCategories.PLATFORM_WIN),

   314                 OptionCategories.PLATFORM_WIN),

   317 

   315 

   318         WIN_CONSOLE_HINT ("win-console", OptionCategories.PLATFORM_WIN, () -> {

   316         WIN_CONSOLE_HINT ("win-console", OptionCategories.PLATFORM_WIN, () -> {

   319             setOptionValue("win-console", true);

   317             setOptionValue("win-console", true);