On 9/3/18, 12:24 AM, Prasanta Sadhukhan wrote:
Hi All,
Please review a fix for an issue where it is seen that
when displaying an HTML unordered list in a JEditorPane, the bullets
generated by looks larger than needed relative to text font size
as seen in
https://www.dropbox.com/s/onv6v5xz
Hi, Krishna.
Are you sure that this text is correct?:
"The array returned will be empty if there are no appropriate permissions".
It is not necessary empty if "there are no appropriate permissions".
BTW I am not sure do we need this refinement, or maybe this text is
enough: "Returns an array of
I don't know what is being done elsewhere in this code but shouldn't
this code be caching the state and restoring it rather than setting
it OFF at the end no matter what it was on entry ?
And whilst OFF is usually the same as DEFAULT, it does not have to be.
-phil.
On 8/27/18, 4:16 AM, Prasanta
Hi All,
Please review a fix for an issue where it is seen that
when displaying an HTML unordered list in a JEditorPane, the bullets
generated by looks larger than needed relative to text font size as
seen in
https://www.dropbox.com/s/onv6v5xzutnvuyz/large-text-bullets.png?dl=0
This is becaus