Property Key Handler
------------------------------------------------------------------
This is an extension mainly targeted at developers. It implements
some useful tools for dealing with internal properties if enabled
(Menu->Debug->Configure Development Extensions). To use this feature,
press the '/'-key, then type a property path (using the <TAB> key to
complete property path elements if possible), or a search string ...
Commands:
<property>=<value><CR> -> set property to value
<property><CR> -> print property and value to screen and terminal
<property>* -> print property and all children to terminal
<property>! -> add property to display list (reset list with /!)
<property>: -> open property browser in this property's directory
<string>? -> print all properties whose path or value contains this string
<string># -> add listener for property and all child properties (cancel all listeners with /#)
Keys:
<CR> ... carriage return or enter, to confirm some operations
<TAB> ... complete property path element (if possible), or
cycle through available elements
<Shift-TAB> ... like <TAB> but cycles backwards
<CurUp>/<CurDown> ... switch back/forth in the history
<Escape> ... cancel the operation
<Shift-Backspace> ... remove last whole path element
Colors:
white ... syntactically correct path to not yet existing property
green ... path to existing property
red ... broken path syntax (e.g. "/foo*bar" ... '*' not allowed)
yellow ... while typing in value for a valid property path
magenta ... while typing search string (except when first character is '/')
For example, to open the property browser in /position/, type '/p<TAB>:'.