⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 marginhighlighter.java

📁 java实现浏览器等本地桌面的功能
💻 JAVA
字号:
/* * $Id: MarginHighlighter.java,v 1.1 2005/06/28 14:08:06 kleopatra Exp $ * * Copyright 2004 Sun Microsystems, Inc., 4150 Network Circle, * Santa Clara, California 95054, U.S.A. All rights reserved. */package org.jdesktop.demo.swingx.common;import java.awt.Component;import javax.swing.BorderFactory;import javax.swing.JComponent;import javax.swing.border.Border;import org.jdesktop.swingx.decorator.ComponentAdapter;import org.jdesktop.swingx.decorator.Highlighter;/** * Highlighter that applies a border compound from the given marginBorder and * the renderer's defaultBorder. *  * NOTE: this is a quick hack to give a left/right margin to JList. *  * @author Jeanette Winzenburg */public class MarginHighlighter extends Highlighter {    private Border marginBorder;    /**     *      * PRE: marginBorder != null;     *      * @param marginBorder     */    public MarginHighlighter(Border marginBorder) {        if (marginBorder == null)            throw new NullPointerException("border must not be null");        this.marginBorder = marginBorder;    }    public Component highlight(Component renderer, ComponentAdapter adapter) {        Border border = ((JComponent) renderer).getBorder();        if (border != null) {            border = BorderFactory.createCompoundBorder(border, marginBorder);        } else {            border = marginBorder;        }        ((JComponent) renderer).setBorder(border);        return renderer;    }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -