WebUIProfile class | webui.t[2333]

UI Settings list. This represents a named UI settings profile in the Web UI. A profile is a list of name/value pairs.

Most of the name keys are style IDs defined in the javascript for on the UI side - see main.js. These style IDs are arbitrary keys we define to identify UI elements - "mainFont" for the main font name, "statusBkg" for the status-line window's background color, etc. Each style ID generally corresponds to a dialog control widget in the preferences dialog in the javascript UI, and also corresponds to one or more CSS style selectors. The mapping from style ID to CSS is defined in the UI javascript (see prefsMapper in main.js).

The non-style key "profileName" is the user-visible name of this profile. Internally, we refer to profiles using ID values, which are arbitrary identifiers generated by the UI when it creates a new profile (it currently uses integer keys).

`class WebUIProfile : object`

Superclass Tree (in declaration order)

`WebUIProfile`
`object`

Subclass Tree

(none)

Global Objects

(none)

Summary of Properties

`profileID settings`

Summary of Methods

`construct forEach setItem`

Properties

`profileID` | `webui.t[2353]`

internal ID of the profile

`settings` | `webui.t[2356]`

table of style value strings, keyed by style ID

Methods

`construct (id)` | `webui.t[2334]`

no description available

`forEach (func)` | `webui.t[2347]`

call a callback for each style: func(id, val)

`setItem (id, val)` | `webui.t[2341]`

set a preference item in the profile

TADS 3 Library Manual
Generated on 5/16/2013 from TADS version 3.1.3