Nieuporządkowana lista Punktory wyglądają pikselowo w JEditorPane

Question

Używam nieuporządkowanej listy HTML do wyświetlenia tekstu w JEditorPane. Próbkę HTML wygląda następująco:

<ul><li>Cautious</li> 
<li>Curious</li> 
</ul> 

Działa to wszystko dobrze i dobre, ale dziwnie kule generowane przez <li> nie wyglądają na takie same jak jakość tekstu jest to obok. (Uruchamianie Mac OS 10.7.5, jeśli ma to znaczenie). Okrągłe kule wyglądają topornie i piksele:

normalny zoom:

powiększony:

Jako szczególnie widoczne, gdy jest powiększony, to tylko blok pikseli, które nie są symetryczne i nie mają żadnej formy wygładzania, co powoduje mniej niż przekonujący okrągły punkt punktowy. W porównaniu z tekstem znajdującym się obok niego, wyszukuje "oko" nawet w normalnym powiększeniu.

Czy jest jakiś sposób, aby to naprawić?

EDIT: • Używanie znaku (opcja + na komputerze Mac) tworzy mniejszą podpunkt w tekście, że nie wygląda piksele. Mógłbym oczywiście wstawić ten znak ręcznie, zamiast używać <ul><li>, ale chciałbym użyć nieuporządkowanej listy HTML, jeśli mogę.

Answer 1

Użyj wskazówek dotyczących renderowania, aby włączyć właściwość antyaliasingu KEY_ANTIALIASING.

ustawić niektóre renderowania podpowiedzi globally, ale to nie wydają się działać dla KEY_ANTIALIASING, więc trzeba zastąpić metodę JEditorPanepaint().

public class HTMLTest {  

     public static void main(String[] args) { 
     SwingUtilities.invokeLater(new Runnable() { 
      @Override 
      public void run() { 
      String html = "<ul><li>Cautious</li><li>Curious</li></ul>"; 
      JEditorPane pane = new JEditorPane("text/html", html) { 

       public void paint(Graphics g) { 
       Graphics2D g2d = (Graphics2D) g.create(); 
       g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON); 
       super.paint(g2d); 
       g2d.dispose(); 
       } 

      }; 
      pane.setVisible(true); 

      JOptionPane.showMessageDialog(null, pane); 
      } 
     });  
     } 
} 

Answer 2

Musisz zmodyfikować punkty. Utwórz obraz lepiej wyglądającego punktu wypunktowania, a następnie dodaj arkusz CSS do okienka edytora, aby użyć nowego obrazu punktora.

JEditorPane pane = new JEditorPane(); 
String u = "C:/path/to/bullet.png"; 
HTMLEditorKit htmlEditorKit = (HTMLEditorKit) pane.getEditorKit(); 
StyleSheet styleSheet = htmlEditorKit.getStyleSheet(); 
styleSheet.addRule(String.format("ul{list-style-image:url(%s);margin:0px 20px;", u));