|
java-gnome version 4.1.2 | ||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Objectorg.freedesktop.bindings.Pointer
org.freedesktop.bindings.Proxy
org.gnome.glib.Object
org.gnome.sourceview.StyleSchemeManager
public class StyleSchemeManager
StyleSchemeManager provides access to StyleScheme
s.
Method Summary | |
---|---|
static StyleSchemeManager |
getDefault()
Return the default StyleSchemeManager instance. |
StyleScheme |
getScheme(String schemeID)
Return a scheme specified by its ID or null if the ID is
not known. |
String[] |
getSchemeIDs()
Return a String array containing the the ids of the
available style schemes or null if no style scheme is
available. |
Methods inherited from class org.freedesktop.bindings.Pointer |
---|
toString |
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public static StyleSchemeManager getDefault()
public StyleScheme getScheme(String schemeID)
null
if the ID is
not known.
public final String[] getSchemeIDs()
String
array containing the the ids of the
available style schemes or null
if no style scheme is
available.
|
![]() java-gnome |
||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |