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
