File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
22<html lang="en">
3- <!-- $Id: ui.src,v 2.20 1999-11-02 19:14:01 ijacobs Exp $ -->
3+ <!-- $Id: ui.src,v 2.21 2002-04-23 15:59:22 bbos Exp $ -->
44<HEAD>
55<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
66<TITLE>User interface</TITLE>
@@ -50,20 +50,17 @@ south-east corner of the box.
5050<dt><strong>help</strong>
5151<dd>Help is available for the object under the cursor. Often rendered
5252 as a question mark or a balloon.
53+
54+ <dt><strong>progress</strong>
55+ <dd>A progress indicator. The program is performing some processing,
56+ but is different from 'wait' in that the user may still interact with the program.
57+ Often rendered as a spinning beach ball.
5358
54- <dt><span class="value-inst-uri"><strong><uri></strong></span>
55-
56- <dd>The user agent retrieves the cursor from the resource
57- designated by the URI. If the user agent cannot handle
58- the first cursor of a list of cursors, it should attempt
59- to handle the second, etc. If the user agent cannot handle
60- any user-defined cursor, it must use the generic cursor
61- at the end of the list.
6259</dl>
6360
6461<div class="example"><P>
6562<PRE>
66- P { cursor : url("mything.cur"), url("second.csr"), text; }
63+ P { cursor : text; }
6764</PRE>
6865</div>
6966
You can’t perform that action at this time.
0 commit comments