Elenco elenco non ordinato Sembra pixelato in JEditorPane

Question

Sto utilizzando un elenco non ordinato HTML per visualizzare del testo all'interno di un JEditorPane. Un campione del HTML simile a questo:

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

Questo funziona tutto molto bello, ma stranamente le pallottole generati da <li> non guardare per essere la stessa qualità del testo, è accanto a. (Esecuzione di Mac OS 10.7.5 se è importante). I proiettili circolari accentuare eccessivamente e pixel:

zoom normale:

ingrandita:

Come particolarmente evidente quando si è ingrandita, questo è solo un blocco di pixel non simmetrici e privi di qualsiasi forma di anti-aliasing, il che rende un punto di mira circolare non convincente. Rispetto al testo accanto ad esso, sembra "spento" a un occhio perspicace, anche a zoom normale.

Esiste un modo per risolvere il problema?

EDIT: Usando il carattere • (opzione + su Mac) crea un punto di proiettile più piccola del testo che non guarda pixel. Naturalmente potrei inserire questo carattere manualmente piuttosto che usare <ul><li>, ma mi piacerebbe usare un elenco non ordinato HTML se posso.

Answer 1

Usa il rendering suggerimenti per accendere proprietà anti-aliasing KEY_ANTIALIASING.

si imposta una certa resa accenna globally, ma questo non sembra funzionare per KEY_ANTIALIASING, quindi è necessario eseguire l'override del metodo di 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

È necessario modificare i punti elenco. Crea un'immagine di un punto elenco dall'aspetto migliore, quindi aggiungi CSS nel riquadro dell'editor per far sì che utilizzi la tua nuova immagine bullet.

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));