smacs.xngr.browser.properties
Class EditorPropertiesXml

java.lang.Object
  smacs.xngr.browser.properties.ViewPropertiesXml
      smacs.xngr.browser.properties.EditorPropertiesXml

All Implemented Interfaces:

EditorProperties, ViewProperties

public class EditorPropertiesXml

extends ViewPropertiesXml

implements EditorProperties

Handles the properties for the Editor.

Author:

Edwin Dankert

Constructor Summary

EditorPropertiesXml(Element element)
Constructor for the editor properties.

Method Summary

void	addSearch(String search) Adds a Search string to the Editor.
Vector	getSearches() Returns the list of searches.
int	getSpaces() Gets the number of spaces to substitute for a tab.
boolean	indentMixedContent() Check to find out if the mixed content should be indented when formatting.
boolean	isDirectionDown() Check to find out if the search direction is down.
boolean	isMatchCase() Check to find out if the search matches the case.
boolean	isTagCompletion() Check to find out if the tag completion is enabled.
EditorProperties	newEditorProperties(Element element) Constructor for the editor properties.
void	setDirectionDown(boolean downward) Set the search direction.
void	setIndentMixedContent(boolean indent) Set wether the mixed content should be indented when formatting.
void	setMatchCase(boolean matchCase) Set the match-case search property.
void	setSpaces(int spaces) Set the number of spaces to substitute for a tab.
void	setTagCompletion(boolean complete) Set the tag completion property.
void	update() Updates the searches elements.

Methods inherited from class smacs.xngr.browser.properties.ViewPropertiesXml

getDimension, getPosition, setDimension, setPosition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface smacs.xngr.browser.ui.ViewProperties

getDimension, getPosition, setDimension, setPosition

Constructor Detail

EditorPropertiesXml

public EditorPropertiesXml(Element element)

Constructor for the editor properties.

Parameters:

element - the element that contains the properties, for the editor.

Method Detail

newEditorProperties

public EditorProperties newEditorProperties(Element element)

Description copied from interface: EditorProperties

Constructor for the editor properties.

Specified by:

newEditorProperties in interface EditorProperties

Parameters:

element - the element that contains the properties, for the editor.

isMatchCase

public boolean isMatchCase()

Check to find out if the search matches the case.

Specified by:

isMatchCase in interface EditorProperties

Returns:

true when the search matches case.

setMatchCase

public void setMatchCase(boolean matchCase)

Set the match-case search property.

Specified by:

setMatchCase in interface EditorProperties

Parameters:

matchCase - the search property.

setSpaces

public void setSpaces(int spaces)

Set the number of spaces to substitute for a tab.

Specified by:

setSpaces in interface EditorProperties

Parameters:

spaces - the number of spaces.

getSpaces

public int getSpaces()

Gets the number of spaces to substitute for a tab.

Specified by:

getSpaces in interface EditorProperties

Returns:

the number of spaces.

isTagCompletion

public boolean isTagCompletion()

Check to find out if the tag completion is enabled.

Specified by:

isTagCompletion in interface EditorProperties

Returns:

true when the tag completion is enabled.

setTagCompletion

public void setTagCompletion(boolean complete)

Set the tag completion property.

Specified by:

setTagCompletion in interface EditorProperties

Parameters:

complete - the tag completion property.

indentMixedContent

public boolean indentMixedContent()

Check to find out if the mixed content should be indented when formatting.

Specified by:

indentMixedContent in interface EditorProperties

Returns:

true when the mixed content should be indented.

setIndentMixedContent

public void setIndentMixedContent(boolean indent)

Set wether the mixed content should be indented when formatting.

Specified by:

setIndentMixedContent in interface EditorProperties

Parameters:

indent - true when the mixed content should be indented.

isDirectionDown

public boolean isDirectionDown()

Check to find out if the search direction is down.

Specified by:

isDirectionDown in interface EditorProperties

Returns:

true when the search direction is down.

setDirectionDown

public void setDirectionDown(boolean downward)

Set the search direction.

Specified by:

setDirectionDown in interface EditorProperties

Parameters:

downward - the search direction.

addSearch

public void addSearch(String search)

Adds a Search string to the Editor.

Specified by:

addSearch in interface EditorProperties

Parameters:

search - the search.

getSearches

public Vector getSearches()

Returns the list of searches.

Specified by:

getSearches in interface EditorProperties

Returns:

the list of searches.

update

public void update()

Updates the searches elements.

Specified by:

update in interface EditorProperties