<p>Don't really see the point of changing the view menu, a quick unscientific survey of the editor-like apps on my machine show about 50-50 so clearly either works.</p>
<p>Removing the show would IMO make it slightly less clear, having a verb helps.  And <code>View</code> is not really the verb I would first think of in English when talking about show/hide, other languages may differ.</p>
<p>But for anyone with some basic UI ability, a checkbox in front of a UI element is pretty obvious what it does (and lets face it Geany is an IDE, if you can't work a UI you won't be much of a programmer).  And as its a checkbox the label should not swap from <code>show</code> to <code>hide</code>, for checkboxes the check indicates the state, and the label always indicates the state when the checkbox is checked.</p>
<p>Since the longest item in the menu is "Toggle all additional widgets" removing the shows won't make the menu smaller, so I don't see much point of changing it.</p>
<p><a href="https://github.com/scootergrisen" class="user-mention">@scootergrisen</a> There is no <code>view</code> that I can see in the preferences dialog, can you be more specific.</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/1788#issuecomment-369413237">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ2xJcPRL6kBUfsuFSIoSMcxKVk_Nks5tZdnmgaJpZM4SWkZJ">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ6q1UsoOIP5jJG2nF2QG07Sq0ME0ks5tZdnmgaJpZM4SWkZJ.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1788#issuecomment-369413237"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>

<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://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@elextr in #1788: Don't really see the point of changing the view menu, a quick unscientific survey of the editor-like apps on my machine show about 50-50 so clearly either works.\r\n\r\nRemoving the show would IMO make it slightly less clear, having a verb helps.  And `View` is not really the verb I would first think of in English when talking about show/hide, other languages may differ. \r\n\r\nBut for anyone with some basic UI ability, a checkbox in front of a UI element is pretty obvious what it does (and lets face it Geany is an IDE, if you can't work a UI you won't be much of a programmer).  And as its a checkbox the label should not swap from `show` to `hide`, for checkboxes the check indicates the state, and the label always indicates the state when the checkbox is checked.\r\n\r\nSince the longest item in the menu is \"Toggle all additional widgets\" removing the shows won't make the menu smaller, so I don't see much point of changing it.\r\n\r\n@scootergrisen There is no `view` that I can see in the preferences dialog, can you be more specific.\r\n\r\n"}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1788#issuecomment-369413237"}}}</script>