<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=564520" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/kugel-">@kugel-</a> currently each document can be sorted differently, the prefs sets the default unless overridden by the filetype, and the popup sets the current document.  It seemed reasonable to continue this capability on to the case sensitivity since I suspect its appropriate for some documents but not all, but sure if having a single setting suits the implementer then thats fine with me.</p>
<p><code>Edit->Preferences->Interface->Interface</code> after the <code>Default sorting mode</code> line.</p>
<p>Either way so long as the default behaviour is the same as now.</p>
<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=20539874" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/StephenWassell">@StephenWassell</a> let me get in ahead of time and remind you about documenting whatever you do in the manual <g-emoji class="g-emoji" alias="grin" fallback-src="https://github.githubassets.com/images/icons/emoji/unicode/1f601.png">😁</g-emoji></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#issuecomment-460609523">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ6WOpSNTmi7U5b4q6tzhQOI99Jy9ks5vKW-ngaJpZM4aeXHh">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJ_EQZVhUmXWK8TuGP9KCWBeGtWz4ks5vKW-ngaJpZM4aeXHh.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 #2074: @kugel- currently each document can be sorted differently, the prefs sets the default unless overridden by the filetype, and the popup sets the current document.  It seemed reasonable to continue this capability on to the case sensitivity since I suspect its appropriate for some documents but not all, but sure if having a single setting suits the implementer then thats fine with me.\r\n\r\n`Edit-\u003ePreferences-\u003eInterface-\u003eInterface` after the `Default sorting mode` line.\r\n\r\nEither way so long as the default behaviour is the same as now.\r\n\r\n@StephenWassell let me get in ahead of time and remind you about documenting whatever you do in the manual :grin:"}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/2074#issuecomment-460609523"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2074#issuecomment-460609523",
"url": "https://github.com/geany/geany/pull/2074#issuecomment-460609523",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>