1 /*
   2  * Copyright (c) 2006, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.  Oracle designates this
   8  * particular file as subject to the "Classpath" exception as provided
   9  * by Oracle in the LICENSE file that accompanied this code.
  10  *
  11  * This code is distributed in the hope that it will be useful, but WITHOUT
  12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14  * version 2 for more details (a copy is included in the LICENSE file that
  15  * accompanied this code).
  16  *
  17  * You should have received a copy of the GNU General Public License version
  18  * 2 along with this work; if not, write to the Free Software Foundation,
  19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  20  *
  21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  22  * or visit www.oracle.com if you need additional information or have any
  23  * questions.
  24  */
  25 
  26 package sun.tools.jconsole;
  27 
  28 import java.awt.Color;
  29 
  30 import javax.swing.*;
  31 import javax.swing.event.*;
  32 import javax.swing.text.*;
  33 
  34 @SuppressWarnings("serial")
  35 public class HTMLPane extends JEditorPane {
  36     private boolean hasSelection = false;
  37 
  38     public HTMLPane() {
  39         setContentType("text/html");
  40         setEditable(false);
  41         ((DefaultCaret)getCaret()).setUpdatePolicy(DefaultCaret.NEVER_UPDATE);
  42         addCaretListener(new CaretListener() {
  43             // Listen for selection changes
  44             public void caretUpdate(CaretEvent e) {
  45                 setHasSelection(e.getDot() != e.getMark());
  46             }
  47         });
  48     }
  49 
  50     public synchronized void setHasSelection(boolean b) {
  51         hasSelection = b;
  52     }
  53 
  54     public synchronized boolean getHasSelection() {
  55         return hasSelection;
  56     }
  57 
  58     public void setText(String text) {
  59         // Apply update only if a selection is not active
  60         if (!getHasSelection()) {
  61             // JEditorPane does not automatically pick up fg color
  62             String textColor =
  63                 String.format("%06x", getForeground().getRGB() & 0xFFFFFF);
  64             super.setText("<html><body text=#"+textColor+">" + text + "</body></html>");
  65         }
  66     }
  67 }