|
java-gnome version 4.0.15 | ||||
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.gtk.Object
org.gnome.sourceview.LanguageManager
public class LanguageManager
A LanguageManager is used to obtain Language objects that are used for syntax highlighting in a SourceBuffer.
You need to use LangagueManager.getDefault()
to get
the singleton and then use it to request a Language by "id" via it's
getLanguage()
method.
Method Summary | |
---|---|
static LanguageManager |
getDefault()
Return the default LanguageManager. |
Language |
getLanguage(String id)
Return a Language specified by its language ID or null if
the ID is not known. |
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 LanguageManager getDefault()
public Language getLanguage(String id)
null
if
the ID is not known.
|
![]() java-gnome |
||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |