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.19 1998-05-12 16:17:07 ijacobs Exp $ -->
3+ <!-- $Id: ui.src,v 2.20 1999-11-02 19:14:01 ijacobs Exp $ -->
44<HEAD>
55<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
66<TITLE>User interface</TITLE>
@@ -107,7 +107,7 @@ make the names more legible.</p>
107107<dt><strong>ButtonFace</strong>
108108<dd>Face color for three-dimensional display elements.
109109<dt><strong>ButtonHighlight</strong>
110- <dd>Dark shadow for three-dimensional display elements (for
110+ <dd>Highlight color for three-dimensional display elements (for
111111 edges facing away from the light source).
112112<dt><strong>ButtonShadow</strong>
113113<dd>Shadow color for three-dimensional display elements.
You can’t perform that action at this time.
0 commit comments