01: /*
02: * @(#)Painter.java
03: *
04: * Copyright 2002 - 2004 JIDE Software Inc. All rights reserved.
05: */
06: package com.jidesoft.plaf.basic;
07:
08: import javax.swing.*;
09: import javax.swing.plaf.UIResource;
10: import java.awt.*;
11:
12: /**
13: * An interface which can be used to paint any area. The main usage of this interface is to
14: * allow user to customize certain UI elements by adding it to UIManager.
15: */
16: public interface Painter extends UIResource {
17: void paint(JComponent c, Graphics g, Rectangle rect,
18: int orientation, int state);
19: }
|