<blockquote>
<p>Thats where this should go, even if its going to be rarely used.</p>
</blockquote>
<p>The same could be said about most "various" preferences, thus defeating the purpose of tucking obscure preferences away in the Various tab; to avoid cluttering up the preferences people will use more often. Anyway, I don't really care, just pointing out that this kind of obscure preference is what "Various" prefs (and hidden prefs before it) was designed for, as opposed to "super user" type of preferences only.</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/2074?email_source=notifications&email_token=AAIOWJ4AMDZHC3NQMZGKGGDPY3ZZTA5CNFSM4GTZOHQ2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODW6EMCY#issuecomment-498877963">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ5732HOLOV6ZCFEKILPY3ZZTANCNFSM4GTZOHQQ">mute the thread</a>.<img src="https://github.com/notifications/beacon/AAIOWJYXCWEQCFOM27U6OWDPY3ZZTA5CNFSM4GTZOHQ2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODW6EMCY.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2074?email_source=notifications\u0026email_token=AAIOWJ4AMDZHC3NQMZGKGGDPY3ZZTA5CNFSM4GTZOHQ2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODW6EMCY#issuecomment-498877963",
"url": "https://github.com/geany/geany/pull/2074?email_source=notifications\u0026email_token=AAIOWJ4AMDZHC3NQMZGKGGDPY3ZZTA5CNFSM4GTZOHQ2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODW6EMCY#issuecomment-498877963",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>