<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
It's a little more typing, but how about using a prefix? <br>
<br>
e.g. grok-inspect<br>
<br>
<br>
<br>
<br>
Uli Fouquet wrote:
<blockquote cite="mid:1189616985.5756.22.camel@lo" type="cite">
  <pre wrap="">Hi there,

Am Mittwoch, den 12.09.2007, 18:06 +0200 schrieb Martijn Faassen:
  </pre>
  <blockquote type="cite">
    <pre wrap="">Hi there,

Today I noticed that the admin UI's object browser uses the view name 
inspect.html. Grok tends to consistently use view names without 
extensions, so just inspect should be sufficient. Plus it's slightly 
easier to type /inspect to get the inspector.
    </pre>
  </blockquote>
  <pre wrap=""><!---->
The intention was not to block the 'inspect' view name for application
developers.

  </pre>
  <blockquote type="cite">
    <pre wrap="">Eventually we might get in trouble with applications that want to define 
their own 'inspect', but it's not a huge problem so let's cross that 
bridge when we get there.
    </pre>
  </blockquote>
  <pre wrap=""><!---->
The cleaner solution might be to do a different traversal and to use a
pseudo-namespace of some kind, like the class browser does. This,
however, would mean a broader effort.

Anyway, it's not a big thing to change the view name to 'inspect'. I'll
do it tonight if no further objections appear.

Kind regards,

  </pre>
</blockquote>
</body>
</html>