RFR: 8213920 : Use {@systemProperty} tag for properties listed in System.getProperties

[Roger Riggs]

Hi Jon,

Yes, I skipped the details on how @code is represented to html.
The missing piece was that @systemProperty is defined to have the same 
translation to html as @code.

Thanks, Roger


On 11/16/2018 03:58 PM, Jonathan Gibbons wrote:
>
> Roger,
>
> Being pedantic ...
>
> javadoc tags don't appear in stylesheets; HTML elements do. Both 
> {@code} and {@systemProperty} are translated to HTML that uses 
> <code>....</code>.  In the case of {@systemProperty} it also contains 
> elements that allow it to be the target for links in the search index 
> and A-Z index.
>
> -- Jon
>
>
> On 11/16/2018 12:21 PM, Roger Riggs wrote:
>> Hi Jon,
>>
>> Just wanted to know. I know @code has an entry in stylesheet.css,
>> I didn't see where in the stylesheet @systemProperty was covered.
>>
>> Roger
>>
>>
>> On 11/16/2018 03:17 PM, Jonathan Gibbons wrote:
>>> Roger,
>>>
>>> The functionality is inside internal doclet code that handles the 
>>> {@systemProperty} tag.
>>>
>>> Are you just curious as to how this is working, or are you looking 
>>> to change the appearance?
>>>
>>> -- Jon
>>>
>>>
>>> On 11/16/2018 11:59 AM, Roger Riggs wrote:
>>>> Hi Priya,
>>>>
>>>> These changes looks fine.
>>>>
>>>> One question, since {@systemProperty replaces {@code, where is the 
>>>> control over
>>>> the appearance of the text?  It still seems to be a code font.
>>>>
>>>> Thanks, Roger
>>>>
>>>>
>>>> On 11/16/2018 02:00 AM, Priya Lakshmi Muthuswamy wrote:
>>>>> Hi,
>>>>>
>>>>> Kindly review the fix for 
>>>>> https://bugs.openjdk.java.net/browse/JDK-8213920
>>>>> webrev: http://cr.openjdk.java.net/~pmuthuswamy/8213920/webrev.00/
>>>>>
>>>>> Thanks,
>>>>> Priya
>>>>>
>>>>
>>>
>>
>