W3C home > Mailing lists > Public > www-amaya-dev@w3.org > March 2001

Re: finding actual file names

From: <jose.kahan@w3.org>
Date: Wed, 7 Mar 2001 14:23:02 +0100 (MET)
Message-Id: <200103071323.OAA04154@tuvalu.inrialpes.fr>
To: John Russell <ve3ll@RAC.CA>
CC: www-amaya-dev@w3.org
Hello John,

In our previous episode, John Russell said:
> How does one find out the actual document name when
> one arrives at a document through redirection or site aliasing
> A Test Case
> http://www.w3.org/International/
> I tried file -- document information

That menu should show you the complete URL in the "Location" field.
Under Windows, if the name is too long, you can click on the value of that 
field and scroll. 

It's not the best UI interface, though. Do you think that adding
a scroll bar could make it easier to understand?

Under Unix, the popup window dynamically changes size, so you can see
the whole URL (although you may end with a big long window).

> and another situation arises if the title is longer than the dialog box
> anticipates -- it is clipped and the most useful part is lost ....
> if clipping is required , it is the end of the string that should be retained
> and clipping traditionally includes ellipse  ... 

In which dialog box? Many do clip adding the "...". For example, the
document status bar (bottom of the screen) shows the beginning of the URL,
then "...", then the end of the URL.


Received on Wednesday, 7 March 2001 08:23:06 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:31:04 UTC