Description

Figure 4.1. greftools: Tools


The »greftools« command creates a »greftools« window.

»greftools« is used as a preferences page. This page allows the incorporation of external applications. In addition the scripttool is maintained by this page.

Figure 4.2. greftools: Scripts


Greftools provides the maintainment part for the scripttool and Add-ins inside the tools-menu. –The Jeszra Tools menu is deactivated on default and will be activated after the user has added some tools to it.

The scripttool is always available. It does follow the normal palettes concept –in every respect, except glyphs. The general editing stuff is also present, as a part of this configuration sheet.

Window Command

A Window created through the greftools command exposes various functions. Using these functions has the following general form:

object.option(?arg, arg, ...?)

PathName is the same as the window path name. Option and the args determine the exact behavior of the command. The following commands are possible for this window:

object.cget(option)

Returns the current value of the configuration option given by option. Option may have any of the values accepted by the greftools command.

object.configure(?option? ?=value, option=value, ...?)

Query or modify the configuration options of the window. If no option is specified, returns a list describing all of the available options for pathName (see Tk_ConfigureInfo for information on the format of this list). If option is specified with no value, then the command returns a list describing the one named option (this list will be identical to the corresponding sublist of the value returned if no option is specified). If one or more option-value pairs are specified, then the command modifies the given window option(s) to have the given value(s); in this case the command returns an empty string. Option may have any of the values accepted by the greftools command.

object.scriptDelete()

Delete the currently selected script from the »-scripttool«.

object.scriptProperties()

Display a sub dialog for editing the properties of the current selected script.

object.init()

Secondary constructor for a tools customization section inside a preferences dialog.

object.selToolID()

Get the ID of the currently selected entry inside the »tools« rtl_mlistbox.

object.toolNew()

Create a new entry inside the »-tools« menu and query for the details of this new entry. Revision : 08/31/2009, Roger–use properties-

object.toolDelete()

Delete the currently selected tool from the »-tools« menu.

object.toolID( reqlabel )

Retrieve the ID for the given label »reqlabel« for the menu-entry inside the »-tools« menu of this application.

object.toolProperties( ?ID? )

Display a sub dialog for editing details on the selected tool-entry from the »-tools« menu identified via »toolID«.

object.refresh()

Query the data from »-scripttool« and »-tools«. In order to redisplay the newly acquired data.