KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > objectweb > jac > aspects > gui > PanelView


1 /*
2   Copyright (C) 2002 Laurent Martelli
3   
4   This program is free software; you can redistribute it and/or modify
5   it under the terms of the GNU Lesser General Public License as
6   published by the Free Software Foundation; either version 2 of the
7   License, or (at your option) any later version.
8
9   This program is distributed in the hope that it will be useful,
10   but WITHOUT ANY WARRANTY; without even the implied warranty of
11   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12   GNU Lesser General Public License for more details.
13
14   You should have received a copy of the GNU Lesser General Public License
15   along with this program; if not, write to the Free Software
16   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */

17
18 package org.objectweb.jac.aspects.gui;
19
20 public interface PanelView extends CompositeView {
21    /**
22     * Sets a splitter location.
23     *
24     * <p>The splitter is referenced by its index going from the
25     * front-end splitter to the back-end splitters. For instance, in
26     * the case of a 3 sub-panel window, the 0 index references the
27     * splitter that splits the main window in two, the 1 index, the
28     * one that splits the half-window in two other smaller parts.
29     *
30     * @param splitterId the splitter's index
31     * @param location the position in pixel, regarding to the top/left
32     * component, a negative value means that the splitter should be
33     * set at the preferred sized of the inner components
34     */

35    void setSplitterLocation(int splitterId, float location);
36
37    /** The panel is on the top (when 2-3 panels) */
38    String JavaDoc UPPER = "upper";
39    /** The panel is on the bottom (when 2-3 panels) */
40    String JavaDoc LOWER = "lower";
41    /** The panel is on the right (when 2-3 panels) */
42    String JavaDoc RIGHT = "right";
43    /** The panel is on the left (when 2-3 panels) */
44    String JavaDoc LEFT = "left";
45    /** The panel is on the top-left (when 3-4 panels) */
46    String JavaDoc UPPER_LEFT = "upper_left";
47    /** The panel is on the top-right (when 3-4 panels) */
48    String JavaDoc UPPER_RIGHT = "upper_right";
49    /** The panel is on the bottom-left (when 3-4 panels) */
50    String JavaDoc LOWER_LEFT = "lower_left";
51    /** The panel is on the bottom-right (when 3-4 panels) */
52    String JavaDoc LOWER_RIGHT = "lower_right";
53
54 }
55
Popular Tags