From 3f196fa4515c4f104b111cd2a33fb281d59b4efa Mon Sep 17 00:00:00 2001 From: erg Date: Wed, 22 Dec 2010 22:11:22 +0000 Subject: [PATCH] Document the parts of html labels that get processed as escStrings. --- doc/info/shapes.html | 9 +++++++++ doc/infosrc/html.2 | 9 +++++++++ 2 files changed, 18 insertions(+) diff --git a/doc/info/shapes.html b/doc/info/shapes.html index b0ee5c19a..19145057b 100644 --- a/doc/info/shapes.html +++ b/doc/info/shapes.html @@ -677,6 +677,9 @@ The maximum value is 65535. HREF="value"
attaches a URL to the object. +Note that the "value" is treated as an +escString similarly to the +URL attribute.
POINT-SIZE="value" @@ -740,12 +743,18 @@ and SERVER_NAME. determines which window of the browser is used for the URL if the object has one. See W3C documentation. +Note that the "value" is treated as an +escString similarly to the +target attribute. TITLE="value"
sets the tooltip annotation attached to the element. This is used only if the element has a HREF attribute. +Note that the "value" is treated as an +escString similarly to the +tooltip attribute.
TOOLTIP="value" diff --git a/doc/infosrc/html.2 b/doc/infosrc/html.2 index 9b9d89041..1132b12de 100644 --- a/doc/infosrc/html.2 +++ b/doc/infosrc/html.2 @@ -234,6 +234,9 @@ The maximum value is 65535. HREF="value"
attaches a URL to the object. +Note that the "value" is treated as an +escString similarly to the +URL attribute.
POINT-SIZE="value" @@ -297,12 +300,18 @@ and SERVER_NAME. determines which window of the browser is used for the URL if the object has one. See W3C documentation. +Note that the "value" is treated as an +escString similarly to the +target attribute. TITLE="value"
sets the tooltip annotation attached to the element. This is used only if the element has a HREF attribute. +Note that the "value" is treated as an +escString similarly to the +tooltip attribute.
TOOLTIP="value" -- 2.40.0