<p>The dependent checkbox method is used in other places in the Geany preferences and seems to me the best solution.</p>
<p>We don't want to add things to various unless they are really really rarely needed, since as you noted, the only information on them is the variable name.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/2082#issuecomment-461354068">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ0py010KkQjym0wlofLIFYZm6Ef0ks5vK_hEgaJpZM4alToK">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJzpTSAzBB5V-MtG6zg3v8sjUttHVks5vK_hEgaJpZM4alToK.gif" height="1" width="1" alt="" /></p>
<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://github.githubassets.com/images/email/message_cards/header.png","avatar_image_url":"https://github.githubassets.com/images/email/message_cards/avatar.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@elextr in #2082: The dependent checkbox method is used in other places in the Geany preferences and seems to me the best solution.\r\n\r\nWe don't want to add things to various unless they are really really rarely needed, since as you noted, the only information on them is the variable name."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/2082#issuecomment-461354068"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2082#issuecomment-461354068",
"url": "https://github.com/geany/geany/pull/2082#issuecomment-461354068",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>