LanguageManager (java-gnome 4.0.19 API Documentation)

Overview

Package

Class

java-gnome version 4.0.19

PREV CLASS NEXT CLASS

FRAMES NO FRAMES All Classes

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.gnome.sourceview
Class LanguageManager

Object
  org.freedesktop.bindings.Pointer
      org.freedesktop.bindings.Proxy
          org.gnome.glib.Object
              org.gnome.gtk.Object
                  org.gnome.sourceview.LanguageManager

public class LanguageManager
extends Object
extends Object

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.

Since:: 4.0.12
Author:: Stefan Schweizer

Nested Class Summary

Nested classes/interfaces inherited from class org.gnome.gtk.Object
`Object.Destroy`

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.gnome.gtk.Object
`connect, destroy`

Methods inherited from class org.freedesktop.bindings.Pointer
`toString`

Methods inherited from class Object
`equals, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Method Detail

getDefault

public static LanguageManager getDefault()

Return the default LanguageManager.

Since:: 4.0.12

getLanguage

public Language getLanguage(String id)

Return a Language specified by its language ID or null if the ID is not known.

Since:: 4.0.12