|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.contribution.visualiser.internal.preference.VisualiserPreferences
Holds the preferences for the Visualiser as set via the Workbench->preferences pages or the VisualiserPreferencesDialog, which is launched for the Visualiser view.
Field Summary | |
static int |
BAR_MIN_WIDTH
|
static java.lang.String |
BAR_WIDTH
|
static int |
BAR_WIDTH_DEFAULT
|
static java.lang.String |
MAX_BAR
|
static java.lang.String |
MIN_BAR
|
static java.lang.String |
PALETTE_PREFIX
|
static java.lang.String |
PROVIDER
|
static java.lang.String |
RENDERER
|
static java.lang.String |
STRIPE_HEIGHT
|
static int |
STRIPE_SIZE_DEFAULT
|
Constructor Summary | |
VisualiserPreferences()
|
Method Summary | |
static int |
getBarWidth()
Get the bar width for the visualiser |
static int |
getDefaultBarWidth()
Get the default bar width for the visualiser |
static int |
getDefaultStripeHeight()
Get the default stripe height for the visualiser |
static int |
getMaxBarSize()
Get the maximum bar width for bars in the visualsier |
static int |
getMinBarSize()
Get the minimum bar width for bars in the visualiser |
static java.lang.String |
getPaletteIDForProvider(java.lang.String providerID)
Return the chosen palette id for the given provider if one has been specified |
static java.lang.String |
getProvider()
Get the name of the current provider |
static java.lang.String |
getRendererName()
Get the name of the chosen renderer |
static int |
getStripeHeight()
Get the stripe height for the visualiser |
static void |
initDefaults()
Set up default values for preferences |
static void |
setBarWidth(int value)
Store the given size as the chosen the bar width |
static void |
setPaletteIDForProvider(ProviderDefinition def,
java.lang.String value)
Store the given name as the chosen palette name for the specified provider |
static void |
setRendererName(java.lang.String value)
Store the given name as the chosen renderer name |
static void |
setStripeHeight(int value)
Store the given size as the chosen stripe height |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String MAX_BAR
public static final java.lang.String MIN_BAR
public static final java.lang.String PROVIDER
public static final java.lang.String BAR_WIDTH
public static final java.lang.String STRIPE_HEIGHT
public static final java.lang.String RENDERER
public static final java.lang.String PALETTE_PREFIX
public static final int STRIPE_SIZE_DEFAULT
public static final int BAR_WIDTH_DEFAULT
public static final int BAR_MIN_WIDTH
Constructor Detail |
public VisualiserPreferences()
Method Detail |
public static void initDefaults()
public static java.lang.String getProvider()
public static int getMinBarSize()
public static int getMaxBarSize()
public static int getBarWidth()
public static int getDefaultBarWidth()
public static void setBarWidth(int value)
value
- width in pixelspublic static int getStripeHeight()
public static int getDefaultStripeHeight()
public static void setStripeHeight(int value)
value
- height in pixelspublic static java.lang.String getRendererName()
public static void setRendererName(java.lang.String value)
value
- the renderer namepublic static java.lang.String getPaletteIDForProvider(java.lang.String providerID)
providerID
-
public static void setPaletteIDForProvider(ProviderDefinition def, java.lang.String value)
def
- the providervalue
- the palette name
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |