playwith (version 0.9-11)

playwith.options: User default settings for playwith

Description

A basic user settings facility, like options and lattice.options.

Usage

playwith.options(...)
playwith.getOption(name)

Arguments

name

character giving the name of a setting.

...

new options can be defined, or existing ones modified, using one or more arguments of the form 'name = value' or by passing a list of such tagged values. Existing values can be retrieved by supplying the names (as charact

Details

These functions are direct copies of the lattice equivalents: see lattice.options. The available options can be seen with str(playwith.options()). Most of these simply provide defaults for corresponding arguments to the playwith function.

See Also

playwith

Examples

str(playwith.options())
playwith.getOption("top.tools")