View Javadoc

1   /*--------------------------------------------------------------------------
2    *  Copyright 2007 utgenome.org
3    *
4    *  Licensed under the Apache License, Version 2.0 (the "License");
5    *  you may not use this file except in compliance with the License.
6    *  You may obtain a copy of the License at
7    *
8    *     http://www.apache.org/licenses/LICENSE-2.0
9    *
10   *  Unless required by applicable law or agreed to in writing, software
11   *  distributed under the License is distributed on an "AS IS" BASIS,
12   *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13   *  See the License for the specific language governing permissions and
14   *  limitations under the License.
15   *--------------------------------------------------------------------------*/
16  //--------------------------------------
17  // utgb-core Project
18  //
19  // Window.java
20  // Since: 2007/11/28
21  //
22  // $URL$ 
23  // $Author$
24  //--------------------------------------
25  package org.utgenome.gwt.utgb.client.ui;
26  
27  import com.google.gwt.user.client.ui.Widget;
28  
29  /**
30   * Frame interface for Window, Track, Tab, etc.
31   * @author leo
32   *
33   */
34  public interface Frame {
35  
36      public static int BUTTON_CONFIG = 1;
37      public static int BUTTON_ADJUST = 1 << 1;
38      public static int BUTTON_MINIMIZE = 1 << 2;
39      public static int BUTTON_CLOSE = 1 << 3;
40  
41      public void setConfigurable(boolean enable);
42  	public void setAdjustable(boolean enable);
43  	public void setMinimizable(boolean enable);
44  	public void setClosable(boolean enable);
45  	public void setVerticallyRisizable(boolean enable);
46  	public void setHorizontallyRisizable(boolean enable);
47  	
48  	public boolean isConfigurable();
49  	public boolean isAdjustable();
50  	public boolean isMinimizable();
51  	public boolean isClosable();
52  	public boolean isVerticallyResizable();
53  	public boolean isHorizontallyResizable();
54  	
55  	public void setSize(int width, int height);
56  	public void setWidth(int width);
57  	public void setHeight(int height);
58  	
59  	public void setVisible(boolean visible);
60  	
61  	public Widget getTitleBar();
62  
63  	
64  }
65  
66  
67  
68