On 11/28/2016 09:35 AM, Vincent Massol wrote:
I believe a "Developer" user is what we really need.
Actually that wouldn’t solve the problem I had either since it would mean having to navigate to the user profile, make the change, go back to where you were, check the hidden docs, then go back again to your user profile, put back the profile again and navigate back… Doesn’t work!
Of course the "Developer" user would have the "show hidden docs" option enabled, and would be an "advanced user", so all you would have to do is to log-in as "Developer”.
Yes but Developers are not the only category of people who may need to see hidden docs easily.
I don't quite agree. Why would a non-developer be interested in a code page? I can think of three reasons: - the page shouldn't have been hidden if users want to reach it - the user is trying to change something in the code, which is actually a developer task, so even if the user isn't an actual developer, he acts as one temporarily - the user is trying to adjust something, which means that there's a configuration missing; still, I'd argue that this is also a developer task -- Sergiu Dumitriu http://purl.org/net/sergiu