René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Add hint for disabled fuzzing control","articleBody":"**Description**\r\n\r\nIn case useFuzzing=false in settings.properties we disable corresponding UI control. Such a behavior may be not obvious for a user and we have to provide some explanation hint do explain why the control is dsabled and how to enable it.\r\n\r\n**To Reproduce**\r\n\r\nSpecify useFuzzing=false in {home}/.utbot/settings.properties\r\n\r\n**Expected behavior**\r\n\r\nFuzzing ratio control disabled with an explanation hint\r\n\r\n**Actual behavior**\r\n\r\nFuzzing ratio control is just disabled\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n![java_1iIZVfECYk](https://user-images.githubusercontent.com/4101410/203391501-44e62610-af6c-445e-a1c6-8b3efeb7b84b.png)\r\n\r\n","author":{"url":"https://github.com/Vassiliy-Kudryashov","@type":"Person","name":"Vassiliy-Kudryashov"},"datePublished":"2022-11-22T18:20:54.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1411/UTBotJava/issues/1411"}