Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
PojavLauncherTeam
GitHub Repository: PojavLauncherTeam/mobile
 Path: blob/master/src/jdk.jconsole/share/classes/sun/tools/jconsole/HTMLPane.java
40948 views
1
/*

2
 * Copyright (c) 2006, 2012, 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 javax.swing.*;

29
import javax.swing.event.*;

30
import javax.swing.text.*;

31


32
@SuppressWarnings("serial")

33
public class HTMLPane extends JEditorPane {

34
    private boolean hasSelection = false;

35


36
    public HTMLPane() {

37
        setContentType("text/html");

38
        setEditable(false);

39
        ((DefaultCaret)getCaret()).setUpdatePolicy(DefaultCaret.NEVER_UPDATE);

40
        addCaretListener(new CaretListener() {

41
            // Listen for selection changes

42
            public void caretUpdate(CaretEvent e) {

43
                setHasSelection(e.getDot() != e.getMark());

44
            }

45
        });

46
    }

47


48
    public synchronized void setHasSelection(boolean b) {

49
        hasSelection = b;

50
    }

51


52
    public synchronized boolean getHasSelection() {

53
        return hasSelection;

54
    }

55


56
    public void setText(String text) {

57
        // Apply update only if a selection is not active

58
        if (!getHasSelection()) {

59
            // JEditorPane does not automatically pick up fg color

60
            String textColor =

61
                String.format("%06x", getForeground().getRGB() & 0xFFFFFF);

62
            super.setText("<html><body text=#"+textColor+">" + text + "</body></html>");

63
        }

64
    }

65
}

66


67