Uses of Interface
ca.cgjennings.ui.textedit.Navigator

Packages that use Navigator

Package	Description
ca.cgjennings.apps.arkham.editors
ca.cgjennings.ui.textedit

Uses of Navigator in ca.cgjennings.apps.arkham.editors

Methods in ca.cgjennings.apps.arkham.editors that return Navigator

Modifier and Type	Method	Description
Navigator	CodeEditor.getNavigator()	Returns the current navigator for this editor, or null if none is set.

Methods in ca.cgjennings.apps.arkham.editors with parameters of type Navigator

Modifier and Type	Method	Description
void	CodeEditor.setNavigator(Navigator nav)	Sets the navigator that will be used to populate the navigation panel for this editor.

Uses of Navigator in ca.cgjennings.ui.textedit

Classes in ca.cgjennings.ui.textedit that implement Navigator

Modifier and Type	Class	Description
static class	HtmlCodeSupport.HtmlNavigator	A Navigator implementation for HTML files.
class	JavaScriptNavigator	A Navigator for JavaScript source files.
static class	MarkdownSupport.MarkdownNavigator
static class	PropertyFileCodeSupport.PropertyNavigator	A Navigator implementation for setting and property files.
class	RegexNavigatorBase	A base class for creating a navigator that finds navigation points using a regular expression.
static class	TileSetCodeSupport.TileSetNavigator

Methods in ca.cgjennings.ui.textedit that return Navigator

Modifier and Type	Method	Description
Navigator	CodeSupport.createNavigator(NavigationHost host)	Creates a suitable navigator panel for the specified code editor.
Navigator	DefaultCodeSupport.createNavigator(NavigationHost host)
Navigator	HtmlCodeSupport.createNavigator(NavigationHost host)
Navigator	MarkdownSupport.createNavigator(NavigationHost host)
Navigator	PropertyFileCodeSupport.createNavigator(NavigationHost host)
Navigator	ResourceFileCodeSupport.createNavigator(NavigationHost host)
Navigator	ScriptCodeSupport.createNavigator(NavigationHost host)
Navigator	TileSetCodeSupport.createNavigator(NavigationHost host)
Navigator	TypeScriptCodeSupport.createNavigator(NavigationHost host)
Navigator	NavigationHost.getNavigator()	Returns the currently hosted navigator, or null.