|
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 | ||||