Re: [12] JDK-8202013: JEditorPane shows large HTML unordered list bullets

2018-09-03 Thread Philip Race
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

Re: [12]RFR:JDK-8182041- FIle Chooser Shortcut Panel folders under on JDK9

2018-09-03 Thread Sergey Bylokhov
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

Re: [12] RFR JDK-8201925:JEditorPane unordered list bullets look pixelated

2018-09-03 Thread Philip Race
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

[12] JDK-8202013: JEditorPane shows large HTML unordered list bullets

2018-09-03 Thread Prasanta Sadhukhan
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