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.
Removing 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. 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 `show` to `hide`, for checkboxes the check indicates the state, and the label always indicates the state when the checkbox is checked. 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. @scootergrisen There is no `view` that I can see in the preferences dialog, can you be more specific. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1788#issuecomment-369413237
