[m-rev.] for review: deep profiler user interface improvements

[Julien Fischer]

On Mon, 2 Apr 2007, Peter Wang wrote:

> Branches: main
>
> Some interface improvements for mdprof_cgi.
>
> html_format.m:
> query.m:

deep_profiler/html_format.m:
deep_profiler/query.m:

> 	Insert "<WBR>" tags after some characters to suggest where the browser
> 	may break long module, procedure and file names over multiple lines.
> 	This improves the chances that tables will not become too wide to fit
> 	in the browser window.
>
> 	Add square brackets around the links at the bottom of generated pages,
> 	e.g. "[Sort by name]".  Give such links the CSS class "button" and add
> 	margins to increase visual separation between the links.
>
> 	Write the "Toggle fields:" etc. labels in bold to make them stand out,
> 	and add line breaks so that the first button after the label is easier
> 	to find (on the next line, at the the left margin).
>
> 	Spell out "self+descendants." rather than "self+desc."

...

> +
> +    % U+8203 is the Unicode 'ZERO WIDTH SPACE' character.  It is supported
> +    % by modern browsers, but tends breaks search as the invisible character

tends to break search

> +    % is not ignored when searching.
> +    %
> +    % The <WBR> tag is non-standard but doesn't break search in Firefox (at
> +    % least).
> +    %
> +:- func zero_width_space = string.
> +
> +% zero_width_space = "​".
> +zero_width_space = "<wbr />".

The rest looks okay.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------