public static interface Proxy.Map extends Proxy.MapRO
node.map - read-write.| Modifier and Type | Method and Description |
|---|---|
boolean |
close(boolean force,
boolean allowInteraction)
closes a map.
|
void |
filter(boolean showAncestors,
boolean showDescendants,
groovy.lang.Closure<java.lang.Boolean> closure)
With
filter(Closure) neither ancestors not descendants of the visible nodes are shown. |
void |
filter(groovy.lang.Closure<java.lang.Boolean> closure)
install a Groovy closure as the current filter in this map.
|
Proxy.Properties |
getStorage()
returns an accessor to the map specific storage.
|
void |
redoFilter()
reinstalls the previously undone filter if there is any.
|
boolean |
save(boolean allowInteraction)
saves the map to disk.
|
void |
setBackgroundColor(java.awt.Color color) |
void |
setBackgroundColorCode(java.lang.String rgbString) |
void |
setFilter(boolean showAncestors,
boolean showDescendants,
groovy.lang.Closure<java.lang.Boolean> closure)
alias for
setFilter(boolean, boolean, Closure) |
void |
setFilter(groovy.lang.Closure<java.lang.Boolean> closure)
alias for
filter(Closure). |
void |
setName(java.lang.String title)
Sets the map (frame/tab) title.
|
void |
setSaved(boolean isSaved) |
void |
undoFilter()
removes the current filter and reinstalls the previous filter if there is any.
|
getBackgroundColor, getBackgroundColorCode, getFile, getName, getRoot, getRootNode, isSaved, nodeboolean close(boolean force,
boolean allowInteraction)
force - close map even if there are unsaved changes.allowInteraction - if (allowInteraction && ! force) a saveAs dialog will be opened if there are
unsaved changes.java.lang.RuntimeException - if the map contains changes and parameter force is false.boolean save(boolean allowInteraction)
allowInteraction - if a saveAs dialog should be opened if the map has no assigned URL so far.java.lang.RuntimeException - if the map has no assigned URL and parameter allowInteraction is false.void setSaved(boolean isSaved)
void setName(java.lang.String title)
void setBackgroundColor(java.awt.Color color)
void setBackgroundColorCode(java.lang.String rgbString)
rgbString - a HTML color spec like #ff0000 (red) or #222222 (darkgray).void filter(groovy.lang.Closure<java.lang.Boolean> closure)
closure is null then filtering will
be disabled. The filter state of a node can be checked by Proxy.NodeRO.isVisible().
// show only matching nodes
node.map.filter{ it.text.contains("todo") }
// equivalent:
node.map.filter = { it.text.contains("todo") }
// show ancestors of matching nodes
node.map.filter(true, false){ it.text.contains("todo") }
// equivalent:
node.map.setFilter(true, false, { it.text.contains("todo") })
// show descendants of matching nodes
node.map.filter(false, true){ it.text.contains("todo") }
// equivalent:
node.map.setFilter(false, true, { it.text.contains("todo") })
// remove filter
node.map.filter = null
void setFilter(groovy.lang.Closure<java.lang.Boolean> closure)
filter(Closure). Enables assignment to the filter property.void filter(boolean showAncestors,
boolean showDescendants,
groovy.lang.Closure<java.lang.Boolean> closure)
filter(Closure) neither ancestors not descendants of the visible nodes are shown. Use this
method to control these options.filter(Closure)void setFilter(boolean showAncestors,
boolean showDescendants,
groovy.lang.Closure<java.lang.Boolean> closure)
setFilter(boolean, boolean, Closure)filter(Closure)void redoFilter()
void undoFilter()
Proxy.Properties getStorage()