| Package | Description |
|---|---|
| org.gvsig.andami.plugins.config.generate | |
| org.gvsig.andami.ui.mdiManager |
| Modifier and Type | Method and Description |
|---|---|
SkinExtension[] |
Extensions.getSkinExtension()
Method getSkinExtension
|
SkinExtension |
Extensions.getSkinExtension(int index)
Method getSkinExtension
|
SkinExtension |
Extensions.removeSkinExtension(int index)
Method removeSkinExtension
|
| Modifier and Type | Method and Description |
|---|---|
void |
Extensions.addSkinExtension(int index,
SkinExtension vSkinExtension)
Method addSkinExtension
|
void |
Extensions.addSkinExtension(SkinExtension vSkinExtension)
Method addSkinExtension
|
void |
Extensions.setSkinExtension(int index,
SkinExtension vSkinExtension)
Method setSkinExtension
|
void |
Extensions.setSkinExtension(SkinExtension[] skinExtensionArray)
Method setSkinExtension
|
| Modifier and Type | Method and Description |
|---|---|
static SkinExtension |
MDIManagerFactory.getSkinExtension()
DOCUMENT ME!
|
| Modifier and Type | Method and Description |
|---|---|
static void |
MDIManagerFactory.setSkinExtension(SkinExtension extension,
PluginClassLoader loader) |
Copyright © 2025 gvSIG Association. All rights reserved.