gvsig-educa / org.gvsig.educa.batovi / trunk / org.gvsig.educa.batovi.app / org.gvsig.educa.batovi.app.skin / src / main / java / org / gvsig / educa / batovi / app / skin / BatoviSkinExtension.java @ 118
History | View | Annotate | Download (1.88 KB)
1 |
/* gvSIG. Geographic Information System of the Valencian Government
|
---|---|
2 |
*
|
3 |
* Copyright (C) 2007-2008 Infrastructures and Transports Department
|
4 |
* of the Valencian Government (CIT)
|
5 |
*
|
6 |
* This program is free software; you can redistribute it and/or
|
7 |
* modify it under the terms of the GNU General Public License
|
8 |
* as published by the Free Software Foundation; either version 2
|
9 |
* of the License, or (at your option) any later version.
|
10 |
*
|
11 |
* This program is distributed in the hope that it will be useful,
|
12 |
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
14 |
* GNU General Public License for more details.
|
15 |
*
|
16 |
* You should have received a copy of the GNU General Public License
|
17 |
* along with this program; if not, write to the Free Software
|
18 |
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
|
19 |
* MA 02110-1301, USA.
|
20 |
*
|
21 |
*/
|
22 |
package org.gvsig.educa.batovi.app.skin; |
23 |
|
24 |
import org.gvsig.andami.plugins.Extension; |
25 |
|
26 |
/**
|
27 |
* Dummy extension required for the plugin config.xml file.
|
28 |
*
|
29 |
* @author DiSiD Technologies
|
30 |
* @version $Id$
|
31 |
*/
|
32 |
public class BatoviSkinExtension extends Extension { |
33 |
|
34 |
public void initialize() { |
35 |
// Nothing to do
|
36 |
} |
37 |
|
38 |
public void execute(String actionCommand) { |
39 |
// Nothing to do
|
40 |
} |
41 |
|
42 |
@Override
|
43 |
public void postInitialize() { |
44 |
// TODO: add about related to the Batovi project
|
45 |
// UIManager
|
46 |
// .put("InternalFrame.border", BorderFactory.createEmptyBorder());
|
47 |
//
|
48 |
// UIManager.put("InternalFrame.titlePaneHeight", 1);
|
49 |
super.postInitialize();
|
50 |
} |
51 |
|
52 |
public boolean isEnabled() { |
53 |
|
54 |
return false; |
55 |
} |
56 |
|
57 |
public boolean isVisible() { |
58 |
// UIManager
|
59 |
// .put("InternalFrame.border", BorderFactory.createEmptyBorder());
|
60 |
//
|
61 |
// UIManager.put("InternalFrame.titlePaneHeight", 1);
|
62 |
return false; |
63 |
} |
64 |
|
65 |
} |