067004 |
^Filer
|
( → )
Calls the standard filer.
|
06D004 |
^FILER_MANAGER
|
( {path} {args} → flag )
{args} = { item1 item2 ... }
item = {name loc action [prog] [key]} ... }
Customized Filer, browsing all object types.
{path} is the starting path for the filer, it
can be an empty list for HOME. Tagging the
empty list with "0", "1" or "2" makes the
filer start in the corresponding port. flag
is FALSE when filer is exited with ON,
otherwise TRUE.
<REF>Filer_Action_Reference
|
06E004 |
^FILER_MANAGERTYPE
|
( {types} {path} {args} → )
{args} = { item1 item2 ... }
item = {name loc action [prog] [key]} ... }
Customized filer for selected types only.
The types are prologue addresses like
{ DOFONT DORRP DOBAK } etc.
<REF>FILER_MANAGER
<REF>Filer_Action_Reference
|
06F004 |
^FontBrowser
|
( → font T )
Uses the File Manager to search for fonts.
|